[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-2-5-g9b13712

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 9b137125519421d6becc1cf28d7799c7eaf2b729
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 19 17:32:12 2009 +0100

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 814121f..b57c3bf 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,13 @@
-ssreflect (1.2+dfsg-3) UNRELEASED; urgency=low
+ssreflect (1.2+dfsg-3) unstable; urgency=low
 
-  * NOT RELEASED YET
+  * debian/control:
+    - add libssreflect-ocaml-dev binary package
+    - put *ocaml* packages in ocaml section
+    - libssreflect-ocaml enhances coq
+  * Switch to dh-ocaml 0.9
+  * Switch to format 3.0 (quilt)
 
- -- Stéphane Glondu <glondu at debian.org>  Sat, 19 Dec 2009 16:41:27 +0100
+ -- Stéphane Glondu <glondu at debian.org>  Sat, 19 Dec 2009 17:30:57 +0100
 
 ssreflect (1.2+dfsg-2) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 97f54ac..c5741e9 100644
--- a/debian/control
+++ b/debian/control
@@ -17,11 +17,13 @@ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git
 
 Package: libssreflect-ocaml
+Section: ocaml
 Architecture: any
 Depends:
  ${ocaml:Depends},
  ${shlibs:Depends},
  ${misc:Depends}
+Enhances: coq
 Provides: ${ocaml:Provides}
 Description: small scale reflection extension for Coq (plugin)
  This package is part of Ssreflect, the small scale reflection

-- 
ssreflect packaging