[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.9, created. upstream/0.9
Mehdi Dogguy
mehdi at debian.org
Tue Jun 1 18:11:49 UTC 2010
The annotated tag, upstream/0.9 has been created
at 2ecb983b4957dc1f139003bb4817e6e132c1b217 (tag)
tagging 61cfa02110d4acf3565c00853379c293411ca76e (commit)
replaces upstream/0.8
tagged by Mehdi Dogguy
on Tue Jun 1 20:07:24 2010 +0200
- Shortlog ------------------------------------------------------------
Upstream version 0.9
Mehdi Dogguy (1):
Imported Upstream version 0.9
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list