[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.30+dfsg-1-1-g13ba055

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 13ba055db05a1732d2a8b843606f0c5c05296e5f
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Thu Jan 12 17:51:46 2012 +0100

    Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).

diff --git a/debian/changelog b/debian/changelog
index 167a001..6bcd309 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+why (2.30+dfsg-2) unstable; urgency=low
+
+  * Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Thu, 12 Jan 2012 17:50:39 +0100
+
 why (2.30+dfsg-1) unstable; urgency=low
 
   * New upstream release.

-- 
why packaging