The annotated tag, debian/2.30+dfsg-5 has been created
at 21b447eca5804abbddeba516e8a207a350966b28 (tag)
tagging d92fa364e74302da799008647bec22fff16d6351 (commit)
replaces debian/2.30+dfsg-4
tagged by Mehdi Dogguy
on Wed May 16 12:46:45 2012 +0200
- Shortlog ------------------------------------------------------------
Debian release 2.30+dfsg-5
Mehdi Dogguy (2):
Mark Coq 8.3pl4 as compatible.
Bump Standards-Version to 3.9.3, no changes required.
-----------------------------------------------------------------------
--
why packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
