[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-26-g17b3646

Stephane Glondu steph at glondu.net
Wed Jul 1 17:30:26 UTC 2009


The following commit has been merged in the master branch:
commit 17b364613aa7bc04dfdac3efd47e4059afc3ac57
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jul 1 18:37:55 2009 +0200

    Prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index a83f6cb..11d3c53 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-coq (8.2-1+dfsg-2) UNRELEASED; urgency=low
+coq (8.2-1+dfsg-2) unstable; urgency=low
 
   [ Samuel Mimram ]
   * Remove upstream url from long descriptions since we already use the
@@ -8,8 +8,13 @@ coq (8.2-1+dfsg-2) UNRELEASED; urgency=low
   [ Stephane Glondu ]
   * Remove suggestion on package cle (which has been removed), use
     readline-editor instead
+  * Recompile with OCaml 3.11.1 (Closes: #535320)
+  * Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
+    ease OCaml 3.11.1 transition
+  * Move libcoq-ocaml-dev to section ocaml
+  * Update Standards-Version to 3.8.2
 
- -- Stephane Glondu <steph at glondu.net>  Mon, 27 Apr 2009 18:07:12 +0200
+ -- Stephane Glondu <steph at glondu.net>  Wed, 01 Jul 2009 17:41:55 +0200
 
 coq (8.2-1+dfsg-1) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 77bccac..dd90f96 100644
--- a/debian/control
+++ b/debian/control
@@ -9,15 +9,15 @@ Uploaders:
  Samuel Mimram <smimram at debian.org>,
  Stephane Glondu <steph at glondu.net>
 DM-Upload-Allowed: yes
-Standards-Version: 3.8.0
+Standards-Version: 3.8.2
 Build-Depends:
  debhelper (>= 7),
  dpkg-dev (>= 1.13.19),
  dh-ocaml (>= 0.4.1),
  ocaml-nox (>= 3.11.0-5),
  ocaml-best-compilers,
- camlp5 (>= 5.10-3),
- liblablgtk2-ocaml-dev (>= 2.12.0-2),
+ camlp5 (>= 5.12),
+ liblablgtk2-ocaml-dev (>= 2.12.0-3),
  texlive-latex-extra,
  hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/
@@ -85,7 +85,7 @@ Description: proof assistant for higher-order logic (theories)
  based upon, including theories of arithmetic and Boolean values.
 
 Package: libcoq-ocaml-dev
-Section: libdevel
+Section: ocaml
 Architecture: any
 Depends:
  ${shlibs:Depends},
diff --git a/debian/copyright b/debian/copyright
index f085600..3837380 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -44,4 +44,4 @@ Lesser General Public Licence, version 2.1, see
 
 However there are two exceptions: files in the directories contrib/jprover and
 ide/utils are distributed under the terms of the GNU General Public Licence,
-see /usr/share/common-licenses/GPL.
+see /usr/share/common-licenses/GPL-2.
diff --git a/debian/watch b/debian/watch
index 68e5534..37d7051 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
 version=3
 
 opts=uversionmangle=s/pl/.pl/,dversionmangle=s/\+dfsg\d*$// \
-        http://coq.inria.fr/distrib1-eng.html .*/files/coq-([0-9a-z\.-]*)\.tar\.gz
+        http://coq.inria.fr/download distrib/[^/]+/files/coq-(.*)\.tar\.gz

-- 
coq packaging



More information about the Pkg-ocaml-maint-commits mailing list