[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-3-g671f482

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 5420bde92152b54568481e4721b68451eb9517a5
Author: Samuel Mimram <smimram at debian.org>
Date:   Thu Feb 19 14:29:39 2009 +0100

    Enforce strict dependency on coq ABI.

diff --git a/debian/changelog b/debian/changelog
index e8ac852..10c3c73 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
 coq-float (1:8.1-1.0-5) UNRELEASED; urgency=low
 
-  * Switch packaging to git
+  * Switch packaging to git.
+  * Enforce strict dependency on coq ABI.
+  * Update standards version to 3.8.0.
 
- -- Samuel Mimram <smimram at debian.org>  Thu, 19 Feb 2009 14:15:05 +0100
+ -- Samuel Mimram <smimram at debian.org>  Thu, 19 Feb 2009 14:29:52 +0100
 
 coq-float (1:8.1-1.0-4) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 2f3e3ab..70f85c3 100644
--- a/debian/control
+++ b/debian/control
@@ -2,13 +2,13 @@ Source: coq-float
 Section: libdevel
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), coq (>= 8.1.pl3)
-Standards-Version: 3.7.3
+Build-Depends: debhelper (>= 5), coq (>= 8.2)
+Standards-Version: 3.8.0
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git
 
 Package: libfloat-coq
 Architecture: all
-Depends: ${shlibs:Depends}, coq (>= 8.1)
+Depends: ${shlibs:Depends}, coq-${F:CoqABI}
 Description: coq library for floating point numbers
  Library for reasoning about floating point numbers in coq.
diff --git a/debian/rules b/debian/rules
index 57c0f12..6090110 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,8 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
+include /usr/share/coq/coqvars.mk
+
 DESTDIR := debian/libfloat-coq/$(shell coqc -where)/user-contrib
 
 INCDIRS := $(shell find . -type d)
@@ -64,7 +66,7 @@ binary-arch: build install
 	dh_fixperms
 	dh_installdeb
 	dh_shlibdeps
-	dh_gencontrol
+	dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"
 	dh_md5sums
 	dh_builddeb
 

-- 
coq-float packaging