[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, upstream/8.2.pl2+dfsg, created. upstream/8.2.pl2+dfsg
Stephane Glondu
steph at glondu.net
Fri Jul 2 14:28:49 UTC 2010
The annotated tag, upstream/8.2.pl2+dfsg has been created
at c4e05eb2f29c7e71fe5dfc3533521abcc5de2403 (tag)
tagging da178a880e3ace820b41d38b191d3785b82991f5 (commit)
replaces upstream/8.2.pl1+dfsg
tagged by Stephane Glondu
on Fri Jul 2 10:46:39 2010 +0200
- Shortlog ------------------------------------------------------------
Upstream version 8.2pl2+dfsg
Stephane Glondu (1):
Imported Upstream version 8.2pl2+dfsg
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list