[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.29+dfsg-4-12-g5c5ac3c
Mehdi Dogguy
mehdi at debian.org
Mon Jan 2 14:48:51 UTC 2012
The following commit has been merged in the master branch:
commit 5c5ac3c097be63803ca5f99f5240988c64720c9b
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Mon Jan 2 15:41:01 2012 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 2255c6b..167a001 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,8 +8,12 @@ why (2.30+dfsg-1) unstable; urgency=low
* Add (back) Build-Depends on coq-float.
* Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
* Bump Standards-Version to 3.9.2, no changes needed.
+ * Fix description-synopsis-starts-with-article in why's description.
+ * Fix copyright-refers-to-deprecated-bsd-license-file
+ * Fix spelling-error-in-binary
+ * Mark Coq 8.3pl3 as compatible with current Why
- -- Mehdi Dogguy <mehdi at debian.org> Mon, 02 Jan 2012 15:38:55 +0100
+ -- Mehdi Dogguy <mehdi at debian.org> Mon, 02 Jan 2012 15:39:47 +0100
why (2.29+dfsg-4) unstable; urgency=low
--
why packaging
More information about the Pkg-ocaml-maint-commits
mailing list