The following commit has been merged in the master branch: commit 5c5ac3c097be63803ca5f99f5240988c64720c9b Author: Mehdi Dogguy <me...@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 <me...@debian.org> Mon, 02 Jan 2012 15:38:55 +0100 + -- Mehdi Dogguy <me...@debian.org> Mon, 02 Jan 2012 15:39:47 +0100 why (2.29+dfsg-4) unstable; urgency=low -- why packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits