[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-4-g28e041a
Samuel Mimram
samuel.mimram at ens-lyon.org
Sun Feb 22 13:55:06 UTC 2009
The following commit has been merged in the master branch:
commit 28e041a2c06f80f56efb6f0ca2b761620753a9f5
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date: Sun Feb 22 14:55:02 2009 +0100
Add Homepage field.
diff --git a/debian/changelog b/debian/changelog
index fed36bd..c4eb4f1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,9 @@ coq-float (1:8.1-1.0-5) UNRELEASED; urgency=low
* Enforce strict dependency on coq ABI.
* Update standards version to 3.8.0.
* Update compat to 7.
+ * Add Homepage field.
- -- Samuel Mimram <smimram at debian.org> Thu, 19 Feb 2009 14:45:03 +0100
+ -- Samuel Mimram <smimram at debian.org> Sun, 22 Feb 2009 14:54:47 +0100
coq-float (1:8.1-1.0-4) unstable; urgency=low
diff --git a/debian/control b/debian/control
index b9f636c..7322c1a 100644
--- a/debian/control
+++ b/debian/control
@@ -4,6 +4,7 @@ Priority: optional
Maintainer: Samuel Mimram <smimram at debian.org>
Build-Depends: debhelper (>= 7), coq (>= 8.2)
Standards-Version: 3.8.0
+Homepage: http://lipforge.ens-lyon.fr/www/pff/
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
--
coq-float packaging
More information about the Pkg-ocaml-maint-commits
mailing list