The following commit has been merged in the master branch:
commit 237d1e6d4f0e9c47e67feb67f67f0daf7729f057
Author: Mehdi Dogguy <[email protected]>
Date: Fri Feb 27 14:11:14 2009 +0100
changelog update
diff --git a/debian/changelog b/debian/changelog
index fbd11ed..66b66b6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -18,7 +18,8 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
+ Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
* debian/control:
+ Bump standards version to 3.8.0, no changes needed.
- + Why recommends alt-ergo.
+ + Why recommends alt-ergo and suggest libwhy-coq.
+ + Add missing runtime dependency for gwhy.byte.
+ Change vcs-* fields to point to Git repository
+ Depend on coq-${F:CoqABI} instead of Coq
+ Add DMUA flag with Sam's blessing
@@ -28,7 +29,7 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
[ Samuel Mimram ]
* Use predefined variables from ocamlvars.mk and coqvars.mk.
- -- Mehdi Dogguy <[email protected]> Sun, 22 Feb 2009 23:19:40 +0100
+ -- Mehdi Dogguy <[email protected]> Fri, 27 Feb 2009 14:09:32 +0100
why (2.13-2) unstable; urgency=low
--
why packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
