[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-3-g671f482
Samuel Mimram
smimram at debian.org
Thu Feb 19 16:36:34 UTC 2009
The following commit has been merged in the master branch:
commit 671f482e3f49c2cc5c6592b6e56a0cb7600d951c
Author: Samuel Mimram <smimram at debian.org>
Date: Thu Feb 19 14:45:19 2009 +0100
Update compat to 7.
diff --git a/debian/changelog b/debian/changelog
index 10c3c73..fed36bd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ coq-float (1:8.1-1.0-5) UNRELEASED; urgency=low
* Switch packaging to git.
* Enforce strict dependency on coq ABI.
* Update standards version to 3.8.0.
+ * Update compat to 7.
- -- Samuel Mimram <smimram at debian.org> Thu, 19 Feb 2009 14:29:52 +0100
+ -- Samuel Mimram <smimram at debian.org> Thu, 19 Feb 2009 14:45:03 +0100
coq-float (1:8.1-1.0-4) unstable; urgency=low
diff --git a/debian/compat b/debian/compat
index 7ed6ff8..7f8f011 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-5
+7
diff --git a/debian/control b/debian/control
index 70f85c3..b9f636c 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: coq-float
Section: libdevel
Priority: optional
Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), coq (>= 8.2)
+Build-Depends: debhelper (>= 7), 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
diff --git a/debian/rules b/debian/rules
index 6090110..510deed 100755
--- a/debian/rules
+++ b/debian/rules
@@ -45,7 +45,7 @@ clean:
install: build
dh_testdir
dh_testroot
- dh_clean -k
+ dh_prep
dh_installdirs
cp $(shell find . -name \*.vo) $(DESTDIR)
--
coq-float packaging
More information about the Pkg-ocaml-maint-commits
mailing list