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

[Stephane Glondu]

The annotated tag, debian/8.4_beta+dfsg-3 has been created
        at  127362b3e161fa2098e73b04208419e21c378161 (tag)
   tagging  d136352525babcff56d1a7c9ac018c6c6c7443a4 (commit)
  replaces  debian/8.4_beta+dfsg-2
 tagged by  Stephane Glondu
        on  Sun Jan 15 13:05:07 2012 +0100

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

iQIcBAABCgAGBQJPEsDzAAoJEHhT2k1JiBrTQZcP/2xz1Ywidw8kB9hg4PUX9IKV
x9TqOfZ7sYrC5JnH/45mr+XarJnr5bx4LH+iqlrWzjZ0eC+fYUroPSe+FTkJ9+X5
lcdGWsx3ooIPOACc49Fdl1FRhFiyUgITWcqcJpGzlGhC5TJs2vjnson4scoIv3GL
k2zj9w02PO1kPL6SoB/pj4YmDNHPua3pyzY+Dh2QtWpTgmckfL6rRuoSpj3ZXQwu
JvAOW2zOnx/BWz8tTnpOQ3Z1WS7s7WOlU2i2K2+7xRRRXuIAFwj19hSan63mLYDt
t5KObcZwGsrQCK6xM8esVBo4on3d9YowMyqT5LtD4NQ53Bqoo8tPehwN2V7jILt0
hcfjhBX2Qckq0V6v+1VZ5vBX/CYjHyAjsZ5kY4X6xFe+aSNImFRfDE0Jl/ENuPpj
devgwxr4Cdw4PA9sGpcRW7x+RClsJ9KEeDN1BoJHDt8fkY5LKR4bbS+jLxWZQo5b
qQX6moxK9tqpDtUCV9e7K8xWavCYRcH1Gr8kw5yiUQPWm+tiWORg2qZbHRmGX10T
FMzOPbAbU46qSJKtjYAMv8s7AFJ+yvwVYXkLD7Ia+xozHNFn75J6JixTxQFZOS0V
AU7hcOJ5wKjEyvP7UKrAwfLpDdbIDqLbCwlx5ceOPC85nMsm5fM3RSQgUj05sy5c
DfeUXUeF0qkl09vtWNhO
=nkI6
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      proofgeneral-coq has been dropped in favour of proofgeneral
      Disable a test that uses too much memory
      Update changelog and prepare upload to experimental

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

-- 
coq packaging