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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits