[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.pl1+dfsg-1-5-g853081b

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit fd881d28abea04fa7f4613054903129c7a633dbf
Merge: 2ac35e66973d32cee6afb62f81d2abf657ab511a 9a65bba53c76358913f02222c968c5880ea34208
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Feb 26 18:02:53 2011 +0100

    Merge sid branch

diff --combined debian/changelog
index b2352fb,22a134c..d87646b
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,42 -1,10 +1,24 @@@
 +coq (8.3.pl1+dfsg-1) experimental; urgency=low
 +
 +  * New upstream release
 +    - remove all patches (applied upstream)
 +  * debian/rules:
 +    - run test-suite in override_dh_auto_test, skip coqchk run
 +    - make "build" explicitly a phony target
- 
-  -- Stéphane Glondu <glondu at debian.org>  Fri, 24 Dec 2010 12:51:59 +0100
- 
- coq (8.3+dfsg-1) experimental; urgency=low
- 
-   * New upstream release
-     - add 0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch
-   * Bump Standards-Version to 3.9.1 (no changes)
- 
-  -- Stéphane Glondu <glondu at debian.org>  Sat, 16 Oct 2010 09:56:23 +0200
- 
- coq (8.3~rc1+dfsg-1) experimental; urgency=low
- 
-   * New upstream release candidate
- 
-  -- Stéphane Glondu <glondu at debian.org>  Tue, 10 Aug 2010 19:22:15 +0200
- 
- coq (8.3~beta0+13323-1) experimental; urgency=low
- 
-   * New upstream snapshot
 +  * Update copyright file
 +  * Fix installation of emacs files
++  * Install plugins in new binary package libcoq-ocaml
++  * Bump Standards-Version to 3.9.1 (no changes)
 +
-  -- Stéphane Glondu <glondu at debian.org>  Sat, 24 Jul 2010 20:17:44 +0200
++ -- Stéphane Glondu <glondu at debian.org>  Fri, 24 Dec 2010 12:51:59 +0100
 +
- coq (8.3~beta0+13298-1) experimental; urgency=low
+ coq (8.2.pl2+dfsg-2) unstable; urgency=low
  
-   * New upstream snapshot
-     - remove all patches
-   * Install plugins in new binary package libcoq-ocaml
+   * Add Fix-build-with-camlp5-6.02.1.patch
+   * Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
+     lablgtk2 transition
  
-  -- Stéphane Glondu <glondu at debian.org>  Wed, 21 Jul 2010 15:16:53 +0200
+  -- Stéphane Glondu <glondu at debian.org>  Mon, 21 Feb 2011 16:51:11 +0100
  
  coq (8.2.pl2+dfsg-1) unstable; urgency=low
  
diff --combined debian/control
index cc64c1b,8687770..d093e79
--- a/debian/control
+++ b/debian/control
@@@ -6,14 -6,14 +6,14 @@@ Uploaders
   Ralf Treinen <treinen at debian.org>,
   Samuel Mimram <smimram at debian.org>,
   Stéphane Glondu <glondu at debian.org>
 -Standards-Version: 3.9.0
 +Standards-Version: 3.9.1
  Build-Depends:
   debhelper (>= 7.2.11~),
 - dh-ocaml (>= 0.9~),
 + dh-ocaml (>= 0.9.5~),
   ocaml-nox (>= 3.11.1-3~),
   ocaml-best-compilers,
   camlp5 (>= 5.12-2~),
-  liblablgtk2-ocaml-dev (>= 2.14),
+  liblablgtk2-ocaml-dev (>= 2.14.2),
   texlive-latex-extra,
   hevea (>= 1.10-7)
  Homepage: http://coq.inria.fr/
@@@ -80,23 -80,6 +80,23 @@@ Description: proof assistant for higher
   This package provides existing theories that new proofs can be
   based upon, including theories of arithmetic and Boolean values.
  
 +Package: libcoq-ocaml
 +Section: ocaml
 +Architecture: any
 +Depends:
 + ${ocaml:Depends},
 + ${shlibs:Depends},
 + ${misc:Depends}
 +Provides: ${ocaml:Provides}
 +Breaks: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
 +Replaces: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
 +Description: runtime libraries for Coq
 + Coq is a proof assistant for higher-order logic, which allows the
 + development of computer programs consistent with their formal
 + specification. It is developed using Objective Caml and Camlp5.
 + .
 + This package provides runtime libraries for Coq.
 +
  Package: libcoq-ocaml-dev
  Section: ocaml
  Architecture: any

-- 
coq packaging