[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-73-g4946e01

Fri Feb 27 13:13:27 UTC 2009

The following commit has been merged in the master branch:
commit 4946e01d2d0c6de47bae5e84d692e7171492278a
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Feb 27 14:13:25 2009 +0100

    Actually, it's also the case for why

diff --git a/debian/changelog b/debian/changelog
index 66b66b6..7cbe2f9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -19,7 +19,7 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
   * debian/control:
     + Bump standards version to 3.8.0, no changes needed.
     + Why recommends alt-ergo and suggest libwhy-coq.
-    + Add missing runtime dependency for gwhy.byte.
+    + Add missing runtime dependency for why (on non-native-architecures).
     + Change vcs-* fields to point to Git repository
     + Depend on coq-${F:CoqABI} instead of Coq
     + Add DMUA flag with Sam's blessing

-- 
why packaging

