[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, debian/0.8-1, created. debian/0.8-1
Samuel Mimram
samuel.mimram at ens-lyon.org
Thu Jan 8 09:34:15 UTC 2009
The annotated tag, debian/0.8-1 has been created
at a5cd8f7f54affd5bb80add4db2e72810c7cf112a (tag)
tagging 555f19293c2ef532d2d820d2adbafa3894eef642 (commit)
replaces upstream/0.8
tagged by Samuel Mimram
on Thu Jan 8 10:31:41 2009 +0100
- Shortlog ------------------------------------------------------------
Debian release 0.8-1
Mehdi Dogguy (4):
Initial import of the debian directory
Re-initialize sources after build
Set compat to 7 and add debian/clean file to reset source directory
Remove extra lines
Samuel Mimram (1):
First upload to unstable.
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list