[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, upstream/0.8, created. upstream/0.8
Mehdi Dogguy
dogguy at pps.jussieu.fr
Wed Nov 5 14:23:20 UTC 2008
The annotated tag, upstream/0.8 has been created
at ad314c82a031d0f247b4c18ab29d83fd0faa22b5 (tag)
tagging 48f6306d4ec4be950507366620eb848f03d91162 (commit)
tagged by Mehdi Dogguy
on Wed Nov 5 15:23:17 2008 +0100
- Shortlog ------------------------------------------------------------
Upstream version 0.8
Mehdi Dogguy (1):
Imported Upstream version 0.8
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list