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

[Stephane Glondu]

The annotated tag, debian/8.4_gamma0+really8.4beta2+dfsg-1 has been created
        at  457e71929f14270af33559fe5955ad1c34f3fade (tag)
   tagging  509d6d4b58f50b86ca482d49fb6b2fee7fc3dfe9 (commit)
  replaces  debian/8.4_beta+dfsg-4
 tagged by  Stephane Glondu
        on  Wed Jun 6 23:29:45 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.4~gamma0+really8.4beta2+dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJPz8vJAAoJEHhT2k1JiBrThQsQAK/lJmtiLqlb29v0j+bfYdCc
rhmdJlJeMArPPa198T6WGhva9tt/5B8EpkI7UF6/CanVmL1aMxyYXMu+F4bSZpkp
47iIEMZ46Pg4ENYOFLBW+qxwQyA9y7ByXeIFQnybq74DDdENPUtziQd3Mn12nkDf
TgBNJeNC3yXE1Ddjmglw7WriMDZbheaNbmxSQDhcwzl9vsTQHnmBM8qwZwkDBRMn
LVyhKBDd9xsnmDqP37m8R+ajaGZhV1nixPdi63bZRV5rB/JwtdakXexOzcW1QJUG
jmvj52jyaFFQUPYNthFbYH/zCv9eQYRPlQZDGiJm0yTtjDs7zjYsJKnW1sjDL2SY
A6+YQCQS0KHfN/VI6vCajJmXH0XALJXs9FsvIW2baOapNYQQJg0foLhVKLe7Hr5k
OjTFIpCKfcLpgC47Lo/UJOZhJW9AoL1Eu3WtoiHNd+o4sJ3EwCIoFH9V6109+9kQ
wPcEEZLwoLVHPU1MBc6cpglE7nXLeXaxh67ysjvMWpOkWUE+ByvY13wRLv86GtL0
hfPhZS13oP+jz4ihYVmz2aA8aa1oZ/bBy7ce2uxm39SQ2yWQjjR/aL74lLAIs9C6
VBxCU/N6lsX95GfKdpdZ3rGgEqkGJ0YJetMBkkAvjo+6qfyQhd+7lqJO8n9Voz72
Govd02iWvyrT8iivydDZ
=BYmz
-----END PGP SIGNATURE-----

Stephane Glondu (8):
      Imported Upstream version 8.4~gamma0+really8.4beta2
      Remove non-DFSG contents
      Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/master
      New upstream beta release
      Refresh patches
      Update ABI
      Dp plugin has been dropped
      Prepare upload to experimental

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

-- 
coq packaging