[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.2.rc2+dfsg-1, created. debian/8.2.rc2+dfsg-1

[Stephane Glondu]

The annotated tag, debian/8.2.rc2+dfsg-1 has been created
        at  40ddffce71f26b556877dda2f4c85598eb60e843 (tag)
   tagging  7b47bd0e98dc48f224de41a9f76c5deba0e5eef7 (commit)
  replaces  debian/8.2.beta4+dfsg-2
 tagged by  Samuel Mimram
        on  Thu Feb 5 17:53:19 2009 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.2~rc2+dfsg-1

Stephane Glondu (27):
      Imported Upstream version 8.2~beta4.svn20080907+dfsg
      Merge commit 'upstream/8.2.beta4.svn20080907+dfsg'
      Bump debhelper compatibility level to 7
      Remove obsolete patches
      Use debhelper 7, simplify debian/rules
      Update changelog
      Define substvars more appropriately
      Imported Upstream version 8.2~rc2+dfsg
      Merge commit 'upstream/8.2.rc2+dfsg'
      New upstream release candidate
      Camlp4 -> Camlp5 in package descriptions
      Remove also backup files in purify_tarball
      Add new binary package libcoq-ocaml-dev
      Simplify handling of dispatch to binary packages
      Add debian/gbp.conf
      Update dependencies
      Update changelog
      Show full commands when building Coq
      Add a build cache (see README.source)
      Only one out of ledit and cle is needed
      Add debian/clean
      Rename binary package coq-libs -> coq-theories
      Add coq-${F:CoqABI} virtual package
      Do not install revision file
      Update changelog
      Add NEWS and prepare upload
      Put also OCaml ABI in Coq ABI

-----------------------------------------------------------------------

-- 
coq packaging