[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, upstream/8.4_gamma0+really8.4beta2+dfsg, created. upstream/8.4_gamma0+really8.4beta2+dfsg

Tue Jun 5 08:15:49 UTC 2012

The annotated tag, upstream/8.4_gamma0+really8.4beta2+dfsg has been created
        at  909bac0c7e3afc6cd15448aefcdda439ec4b9e0d (tag)
   tagging  86535d84cc3cffeee1dcd8545343f234e7285530 (commit)
  replaces  upstream/8.4_beta+dfsg
 tagged by  Stephane Glondu
        on  Mon Jun 4 12:25:22 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 8.4~gamma0+really8.4beta2+dfsg

Stephane Glondu (2):
      Imported Upstream version 8.4~gamma0+really8.4beta2
      Remove non-DFSG contents

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

-- 
coq packaging