[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.93, created. upstream/0.93
Mehdi Dogguy
mehdi at debian.org
Fri Apr 15 21:48:36 UTC 2011
The annotated tag, upstream/0.93 has been created
at 59ef75eebcbe2d0957e9244a77ad205ceb847ced (tag)
tagging 1d67fbbc33c1865f409a6ac71c34581d595bde6c (commit)
replaces upstream/0.91
tagged by Mehdi Dogguy
on Fri Apr 15 22:49:02 2011 +0200
- Shortlog ------------------------------------------------------------
Upstream version 0.93
Mehdi Dogguy (1):
Imported Upstream version 0.93
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list