The annotated tag, debian/2.30+dfsg-1 has been created
        at  8317a1e5348f18559d142d7ee30b94e26b3d5794 (tag)
   tagging  46514403cc300ea5b0666406dce11caf2cb03024 (commit)
  replaces  debian/2.29+dfsg-4
 tagged by  Mehdi Dogguy
        on  Tue Jan 3 16:44:01 2012 +0100

- Shortlog ------------------------------------------------------------
Debian release 2.30+dfsg-1

Mehdi Dogguy (13):
      Imported Upstream version 2.30+dfsg
      Merge commit 'upstream/2.30+dfsg'
      Update patches
      Changelog update
      Add (back) Build-Depends on coq-float.
      Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
      Coq 8.3pl3 is also compatible
      Fix spelling-error-in-binary
      Fix copyright-refers-to-deprecated-bsd-license-file
      Fix description-synopsis-starts-with-article
      Bump Standards-Version to 3.9.2, no changes needed.
      Changelog update
      Fix mess created by 37a8809


why packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to