[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, debian/0.8-1, created. debian/0.8-1
Mehdi Dogguy
dogguy at pps.jussieu.fr
Sun Mar 1 20:36:13 UTC 2009
The annotated tag, debian/0.8-1 has been created
at 1b6da4491a9f029519834ced08bf15058679024c (tag)
tagging 72993ee301ce3c951c14c0cbbb870e961e42b976 (commit)
replaces upstream/0.8
tagged by Samuel Mimram
on Sun Mar 1 21:36:09 2009 +0100
- Shortlog ------------------------------------------------------------
Debian release 0.8-1
Mehdi Dogguy (16):
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
Fix Vcs-* flags to point to Git repository
Use debhelper 7, ocaml 3.11 and add dh-ocaml to build-dep
Add licences where needed
Add alt-ergo.install file
Use dh-ocaml predefined variables
Changelog update
Initial changelog ≃ empty changelog
no need to strip
Add gbp.conf to avoid future problems
Renaming: OCAMLRUN -> OCAML_RUNTIME_NOX
Fix installation problem
Fix lintian's versionless-license-file
Samuel Mimram (4):
First upload to unstable.
Version dependency on ocamlgraph.
Correct rules.
Don't be verbose by default.
-----------------------------------------------------------------------
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list