[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.29+dfsg-1, created. debian/2.29+dfsg-1

Mehdi Dogguy mehdi at debian.org
Sun Apr 24 21:41:34 UTC 2011


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



More information about the Pkg-ocaml-maint-commits mailing list