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

[Stephane Glondu]

The annotated tag, debian/8.4pl2dfsg-1 has been created
        at  704c44484fb13f07eb394de7bf1c3d8a7838f7dd (tag)
   tagging  794da2871ba5b67ccc4c3b1663b9c5f0996cc1c7 (commit)
  replaces  debian/8.4pl1dfsg-1
 tagged by  Stephane Glondu
        on  Wed May 8 18:38:01 2013 +0200

- Shortlog ------------------------------------------------------------
coq Debian release 8.4pl2dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJRin9pAAoJEHhT2k1JiBrT9bcQAJWx4HFV2CJx7zB/HfTatVzq
DS6xtW/835rg6bSBbn3xV5aXedZHsN07SeQ3Iik1XIYElb0pmOyse+9DYh/14K1T
Y/s/TJ45VIN6h/lk2pDAyibNhNtmp/HDWCKZ4NSYaj5QW2/y3YHNLWH6hKLRqcqF
pacehMHnVd/MvhyjOH3PwXhYU6xQEEi6QVBQanIV+W+Ys9XnW6SqQXONvKww6k58
WnB/uwls40d70FME4kr+9o8xKXtC9Bc4Tqe6mAgOZINwyw8jCoLwcO9e1Au3TBGE
zfsj0luZS5UCHIQyzKmYeMy8CHTsau5/X7bfUR3pW5UTkM+fdrildft4pu7RA/rV
W6Xf69D30neBwulwT523rhujrJVgn0CHpXuVkAOOc0emtB8IQqiYJTVSl9OKNGrs
km3+VQA2uaj5t5qQz4AUObBLgQlmkpYDapPZSwKAr0qjNSPl6JWUMujinAQqm5Mo
UrjE8j0f96/A+KnAQYaBfI6K0lboH0VsKbpCFZgVbbFfdB1LYtEdzBjmKUzz1JxL
GZLhXgazIts/lhYoEBJHAd294zJLsmNOJXk4e70n4P93Nac4Q2w1me4G6lJDLbVs
A6vgLK1uN13JMrqlePjh0PSfYYbuuAt/QQH+1k6g+0Ybxxr/NOMkRm2l8ryDLjRb
zLcR3JAGu+yQ+tdwy3uY
=Kdcg
-----END PGP SIGNATURE-----

Stephane Glondu (19):
      Recompile with camlp5 6.04 (no changes)
      Imported Upstream version 8.3.pl4
      Remove non-DFSG contents
      Merge tag 'upstream/8.3.pl4+dfsg'
      New upstream release
      Call dh_install with --fail-missing
      proofgeneral-coq has been dropped in favour of proofgeneral
      Bump Standards-Version to 3.9.3
      Update changelog and prepare upload to unstable
      Recompile with camlp5 6.06 (no changes)
      New debian/watch file by Bart Martens
      Imported Upstream version 8.4pl2dfsg
      Merge tag 'upstream/8.4pl2dfsg' into experimental/master
      New upstream release
      Update ABI
      Merge branch 'experimental/master'
      Merge branch 'experimental/upstream' into upstream
      Merge branch 'upstream'
      Prepare upload to unstable

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

-- 
coq packaging