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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 1516e451c10bfaed08fd41931e409dcb88a8ad4a
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 11:36:29 2009 +0100

    changelog update

diff --git a/debian/changelog b/debian/changelog
index 8798cb5..fbd11ed 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,16 +2,18 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
 
   [ Mehdi Dogguy ]
   * New upstream release.
-  * Add a binary package libjessie-ocaml-dev
-    + Add jessie_lib.dpatch patch for Jessie library:
-      - Build and install jc.{cma,cmxa,a}
+  * New binary packages:
+    + libjessie-ocaml-dev:
+      - Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch
       - Install jc.cmi
-    + Add a META file for Jessie library
-  * Add a binary package why-examples
-    + why-examples recommends why
+      - Add a META file for Jessie library
+    + why-examples:
+      - why-examples recommends why
+    + libwhy-coq:
+      - Install .vo files in /usr/lib/coq/user-contrib, closes: #498713.
   * debian/rules:
     + do not compress .v,.sx,.why files
-    + Using debhelper 7
+    + Use 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:
@@ -21,13 +23,12 @@ why (2.18.dfsg-1) UNRELEASED; urgency=low
     + 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.
   * Add patch descriptions to configure.dpatch and logopath.dpatch
 
   [ Samuel Mimram ]
   * Use predefined variables from ocamlvars.mk and coqvars.mk.
 
- -- Samuel Mimram <smimram at debian.org>  Thu, 19 Feb 2009 18:00:33 +0100
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Sun, 22 Feb 2009 23:19:40 +0100
 
 why (2.13-2) unstable; urgency=low
 

-- 
why packaging