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
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
