[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.94, created. upstream/0.94
Mehdi Dogguy
mehdi at dogguy.org
Thu Dec 8 16:51:29 UTC 2011
The annotated tag, upstream/0.94 has been created
at 919c79f642c67653dc43cb05ee1c5c101687a912 (tag)
tagging 76e407e9d27473975cf77bb9740a0dcae6a137b5 (commit)
replaces upstream/0.93
tagged by Mehdi Dogguy
on Thu Dec 8 17:18:10 2011 +0100
- Shortlog ------------------------------------------------------------
Upstream version 0.94
Mehdi Dogguy (1):
Imported Upstream version 0.94
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list