[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging annotated tag, debian/0.8-1, created. debian/0.8-1

[Mehdi Dogguy]

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