[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.91, created. upstream/0.91
Mehdi Dogguy
mehdi at debian.org
Tue Jun 1 19:32:07 UTC 2010
The annotated tag, upstream/0.91 has been created
at 40a75a884ec61603ac4f072f835df356ae09c85b (tag)
tagging 4c4bebe99e60fb4af241e864f003a88fbb2f02cc (commit)
replaces upstream/0.9
tagged by Mehdi Dogguy
on Tue Jun 1 20:10:52 2010 +0200
- Shortlog ------------------------------------------------------------
Upstream version 0.91
Mehdi Dogguy (1):
Imported Upstream version 0.91
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list