[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-12-gb096995
Mehdi Dogguy
dogguy at pps.jussieu.fr
Tue Feb 24 09:49:05 UTC 2009
The following commit has been merged in the master branch:
commit b096995b0c985d0b900aead1c6a569377902dec2
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Tue Feb 24 10:48:59 2009 +0100
Initial changelog ≃ empty changelog
diff --git a/debian/changelog b/debian/changelog
index 78f4557..f003507 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,5 @@
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> Tue, 24 Feb 2009 10:15:46 +0100
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list