[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