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

[Stephane Glondu]

The annotated tag, debian/8.4_beta+dfsg-1 has been created
        at  ef09d1426877fa43ae7441d887b3114f5d85349f (tag)
   tagging  740160e590c78840860ee145a0260952507992dc (commit)
  replaces  debian/8.3.pl3+dfsg-1
 tagged by  Stephane Glondu
        on  Thu Jan 12 19:58:46 2012 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.4~beta+dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIbBAABCgAGBQJPDy1mAAoJEHhT2k1JiBrT7XwP91eh/FhAXWb0B2qOkb1iT7jQ
QEH1ugcxX7hZ8k7+WPyDWGGTYg214kGW0XiituroszsmHp5eHRuHtNH4p8XyPWue
ARddbaAri6IKFl8AKC2LSdmFU+Tn5knGYnW7YPBT7CJmNLsudBZACMpiAgVbDJtj
4Pc+UZ0jpMYPM+FbenFNLoKy5j4HbRGTK5xuRnNRNtGFLP2IzcIGqx/pl21f4mvq
cutm68Yjn4NHQNPfPmaP7ZiulPHgBul7jB7gn/y737pwAaOLyQ2whv/BYp8sCRH0
eShAlEsphzrcinEC9VUEdVGfYboDQUyRDrEsUGX7two5Q7eIwdWV5X0hkr7+Qb4+
ewNK2Z/e591GHxoGTAxQi3X4n2+Y4pH7GrDcWESaTRhA1lwTwPDnNoIiJ523iwzl
dCF0rbeygfCki3rbb54ppgHa4cVvs+34dsFkqAK17MVuwdUBhbHloW7kquiZlu8F
hMPhD26lZVM7aJqrwBiLDqy0sWPvTxLwL+SMwb6R3fzHZTBpBn97K15/84qmzowu
yxyf+Yhxe3N53X+OqgRiGGpGcVqmBmdzMOZSet/la99i+SCc5CRr24jIMkKHFJ1n
Fu2MV0Q0B6K4l9nSzkGpK3dNilzpYvG4R+VYScj7w4SIrjk7wPSjpxd2PogNWiTG
W3AurwGGTGbhBBVO6eQ=
=tTWQ
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Imported Upstream version 8.4~beta
      Remove non-DFSG contents
      Merge commit 'upstream/8.4_beta+dfsg' into experimental/master
      New upstream beta release
      Add distclean target to test-suite/Makefile
      Miscellaneous updates
      Prepare upload to experimental

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

-- 
coq packaging