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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 02e14860a6586a8c50a81ae77e8f47bdb473d0d7
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Feb 18 18:09:44 2009 +0100

    Changelog update

diff --git a/debian/changelog b/debian/changelog
index 34614af..8798cb5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,17 +11,18 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
     + why-examples recommends why
   * debian/rules:
     + do not compress .v,.sx,.why files
-  * Bump standards version to 3.8.0, no changes needed.
-  * Why recommends alt-ergo.
+    + Using debhelper 7
+    + Move logo in /usr/share/why (using logopath.dpatch)
+    + 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.
+    + Change vcs-* fields to point to Git repository
+    + Depend on coq-${F:CoqABI} instead of Coq
+    + Add DMUA flag with Sam's blessing
+    + Remove not needed build dependency: ocamlweb
   * Installing .vo files in /usr/lib/coq/user-contrib, closes: #498713.
-  * Move logo in /usr/share/why (using logopath.dpatch)
   * Add patch descriptions to configure.dpatch and logopath.dpatch
-  * Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
-  * Switching packaging to git
-    + Change vcs-* fields
-  * Remove not needed build dependency: ocamlweb
-  * Using debhelper 7
-  * Depend on coq-${F:CoqABI} instead of Coq
 
   [ Samuel Mimram ]
   * Use predefined variables from ocamlvars.mk and coqvars.mk.

-- 
why packaging