The annotated tag, debian/2.30+dfsg-2 has been created
at b1fcc682e5298f1e7889847ddae5623eddaae97e (tag)
tagging 13ba055db05a1732d2a8b843606f0c5c05296e5f (commit)
replaces debian/2.30+dfsg-1
tagged by Mehdi Dogguy
on Thu Jan 12 18:00:29 2012 +0100
- Shortlog ------------------------------------------------------------
Debian release 2.30+dfsg-2
Mehdi Dogguy (1):
Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).
-----------------------------------------------------------------------
--
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
