[Pkg-ocaml-maint-commits] [SCM] coq-float packaging annotated tag, debian/8.2-1.2-1, created. debian/8.2-1.2-1

[Stephane Glondu]

The annotated tag, debian/8.2-1.2-1 has been created
        at  a4c0029d310877ed04b885dec2eebce6d99ac0a5 (tag)
   tagging  128255cb7cfdb461abb255e0b41cea369a09ff87 (commit)
  replaces  debian/8.1-1.0-4
 tagged by  Samuel Mimram
        on  Fri Mar 13 11:00:17 2009 +0100

- Shortlog ------------------------------------------------------------
Debian release 1:8.2-1.2-1

Samuel Mimram (4):
      Switch packaging to git
      Enforce strict dependency on coq ABI.
      Update compat to 7.
      Add Homepage field.

Stephane Glondu (8):
      Imported Upstream version 8.2-1.2
      Merge commit 'upstream/8.2-1.2'
      New Upstream Version
      More extensive use of debhelper 7, add build cache
      Switch copyright to machine-parsable format
      Set Maintainer to d-o-m, add myself to Uploaders and add DMUA
      More detailed long description
      Update changelog and prepare upload to unstable

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

-- 
coq-float packaging