The annotated tag, debian/2.29+dfsg-1 has been created
        at  e9e44e562a5954889e92269f9b7662bd8a2ec467 (tag)
   tagging  f677c3aea0c48fce0d264d178863de50daa88a86 (commit)
  replaces  debian/2.26+dfsg-4
 tagged by  Mehdi Dogguy
        on  Sun Apr 24 23:41:27 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 2.29+dfsg-1

Mehdi Dogguy (8):
      Imported Upstream version 2.29+dfsg
      Merge commit 'upstream/2.29+dfsg'
      New upstream release.
      Remove some old patches
      Bump minimum version of Coq to 8.3
      Mark Alt-Ergo 0.93 as compatible
      Fix FTBFS due to non-exhaustive pattern matching
      Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.


why packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to