[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-4-5-g83c5529

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f93113d65dea09abad84788de2a8afc2cfad911f
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jul 7 23:19:46 2009 +0200

    Rebuild against latest Coq package, Closes: #536104

diff --git a/debian/changelog b/debian/changelog
index 862373d..f85b907 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+why (2.18.dfsg-5) unstable; urgency=low
+
+  * Rebuild against latest Coq package, Closes: #536104.
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 07 Jul 2009 23:17:06 +0200
+
 why (2.18.dfsg-4) unstable; urgency=low
 
   * libjessie-ocaml-dev:

-- 
why packaging