[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging annotated tag, upstream/8.2pl1, created. upstream/8.2pl1
Stephane Glondu
steph at glondu.net
Thu Jan 7 21:53:43 UTC 2010
The annotated tag, upstream/8.2pl1 has been created
at dec52d2dee0e968161e6569e88cb693d322e7a1e (tag)
tagging 962cf5c4b31528868f55e42c445e36ca90a1ab51 (commit)
replaces upstream/8.1
tagged by Stephane Glondu
on Wed Jan 6 17:50:43 2010 +0100
- Shortlog ------------------------------------------------------------
Upstream version 8.2pl1
Stephane Glondu (1):
Imported Upstream version 8.2pl1
-----------------------------------------------------------------------
--
coq-doc packaging
More information about the Pkg-ocaml-maint-commits
mailing list