[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, debian/0.9-1, created. debian/0.9-1
Mehdi Dogguy
mehdi at debian.org
Tue Jun 1 18:11:47 UTC 2010
The annotated tag, debian/0.9-1 has been created
at 4f0f8bf97bb93dfe193a6c61f7de2dccdb108b36 (tag)
tagging a03f71b03c816e8c7dc3fe6d680fa947adc66cdf (commit)
replaces debian/0.8-1
tagged by Mehdi Dogguy
on Tue Jun 1 20:07:25 2010 +0200
- Shortlog ------------------------------------------------------------
Debian release 0.9-1
Mehdi Dogguy (3):
Imported Upstream version 0.9
Merge branch 'upstream'
Imported Debian patch 0.9-1
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list