[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging annotated tag, upstream/1.3pl3, created. upstream/1.3pl3
Stephane Glondu
steph at glondu.net
Sat Jun 9 08:30:51 UTC 2012
The annotated tag, upstream/1.3pl3 has been created
at a10b5ca21a4d3c9c0c7b4aa7d5bf450c95ec4cd3 (tag)
tagging 400091eb24f9af2cc03597bed996ca474735bff3 (commit)
replaces upstream/1.3pl2
tagged by Stephane Glondu
on Sat Jun 9 09:25:31 2012 +0200
- Shortlog ------------------------------------------------------------
Upstream version 1.3pl3
Stephane Glondu (1):
Imported Upstream version 1.3pl3
-----------------------------------------------------------------------
--
ssreflect packaging
More information about the Pkg-ocaml-maint-commits
mailing list