[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.8-1-6-g615b397
Mehdi Dogguy
dogguy at pps.jussieu.fr
Tue Feb 24 09:45:17 UTC 2009
The following commit has been merged in the master branch:
commit 615b3971d0100011b5f9634b54faa53c3f697275
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Tue Feb 24 10:34:53 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 437c25c..78f4557 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,11 +1,9 @@
-alt-ergo (0.8-2) UNRELEASED; urgency=low
-
- * Fix Vcs-* flags to point to Git repository.
-
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr> Wed, 14 Jan 2009 15:54:47 +0100
-
alt-ergo (0.8-1) unstable; urgency=low
* Initial release (Closes: #468557)
+ * Fix Vcs-* flags to point to Git repository.
+ * More complete debian/copyright
+ * Use debhelper 7
+ * Add dh-ocaml and use its predefined variables
- -- Mehdi Dogguy <dogguy at pps.jussieu.fr> Wed, 10 Sep 2008 10:13:00 +0100
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr> Tue, 24 Feb 2009 10:15:46 +0100
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list