Accepted coq 8.2.pl1+dfsg-5 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 10 Feb 2010 09:24:03 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2.pl1+dfsg-5
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
coq (8.2.pl1+dfsg-5) unstable; urgency=low
.
* Rebuild with OCaml 3.11.2
* Bump Standards-Version to 3.8.4 (no changes)
Checksums-Sha1:
f07e48b99ee9dd38c21da0569b211104d42183b0 2218 coq_8.2.pl1+dfsg-5.dsc
6e71d899c54e95405acaf82b46bf60d43a450efc 15435 coq_8.2.pl1+dfsg-5.diff.gz
c332a9bd5322880068508ac2615857e2e5c8f61c 18385576 coq-theories_8.2.pl1+dfsg-5_all.deb
f1b2216182ed69569f51d7113ce595838b136651 15330474 coq_8.2.pl1+dfsg-5_amd64.deb
484e81aa84bae44ca91d36053112131b69e61f93 6545832 coqide_8.2.pl1+dfsg-5_amd64.deb
49d864b746d8d4fe6255f578f9f98e4a797e344f 6071842 libcoq-ocaml-dev_8.2.pl1+dfsg-5_amd64.deb
Checksums-Sha256:
94a87e831e873cfb75aff516f77aa7f7cb75d4ff34fcc2c558a65069de3e5f1b 2218 coq_8.2.pl1+dfsg-5.dsc
241525cdf8c1d97c53ecd38523363c83604e8b413f5567aeb8f8435a55668514 15435 coq_8.2.pl1+dfsg-5.diff.gz
b5fa5f5a683af2f32adfda45b8f1b872e22f7b85b8acc98b67ec596151917ce6 18385576 coq-theories_8.2.pl1+dfsg-5_all.deb
f173f247f3133719233b7097a33db1c41008a39d2047868fa8f4b7cc46b97139 15330474 coq_8.2.pl1+dfsg-5_amd64.deb
2a1d50910359c272c67275515d5d4396517feaadba943171a9867c90f262ab3e 6545832 coqide_8.2.pl1+dfsg-5_amd64.deb
094458d5b7f458cddbdd8632c53c4ddccf3b7687ef893d12cf8b73d3335750d9 6071842 libcoq-ocaml-dev_8.2.pl1+dfsg-5_amd64.deb
Files:
f94de5c86f8bf1a29b902e690bf79b5a 2218 math optional coq_8.2.pl1+dfsg-5.dsc
be410d010693dd728cd55e1658ef0892 15435 math optional coq_8.2.pl1+dfsg-5.diff.gz
dcc6dfd1f6a173f895babca89dc86604 18385576 math optional coq-theories_8.2.pl1+dfsg-5_all.deb
365982a810569c829a4b0ba0c4b717bf 15330474 math optional coq_8.2.pl1+dfsg-5_amd64.deb
6dabe9f5ff3469e237a1fd9014c7b309 6545832 math optional coqide_8.2.pl1+dfsg-5_amd64.deb
35b33edcaf2df41f035317a4e425058b 6071842 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLcnYoAAoJEHhT2k1JiBrTdx4QAILAZieRywoQNU265tmjRzuQ
1nj/l6PfzeKI4aDYLTSo5dff2Fdo26qJ0nUl/urNtA+GQrRFHU5xj5iD9M4iYGau
+pr25M7H41ZIVdoHbLOuRNwRT0lxAUfDBC1Bio1mo1jrlITCqKxavIO+GcfOXFYm
J+P2wYfrxlMazXvSGrwBipIPuuyovRaIL0u9nNOipXrp/LobOF1H6BHqgkcob8Ko
vL8c9mOviA9rNZvmIb3XGnRDU1KKAN9zSDNnsXUJImeoL2tsxNX4AZOIendbUxKF
1KYB77aPVbcjm9QzizSwwPrtvPxMvzfneCsnXCZhsr3ques9aYeVtR1RmW4oV0KE
sTXIxYfUnsvfRX+S3iDPJdFGD8wqrqCmyROK6k3CPVk5s+CcT6DeOdscCanSaiNL
6FnFk6AfuvuXXVWkTp+fPEkQxW2EJwrHZ27GaSaOg8K/7jxjwIkIuQTriZ83TVqV
Ck6UfW5CiKMXpFW4X1hlQQ3wlpEmOBSAysgy2Vt9iVZWV31mIJRZ9P41dHhhoMdq
79am3Slfbamh5nE1m88fCktf53m0wSq2Qxf2MNCYRGH5Psg/hbR+Ozhnrvq/eQ0V
MOJmDhirj8mOciK7p4zGavTgzaRsXoZfGlmK1/cRJ0KniDtP/mvSNLdhvXJxqt9H
zcKvVMv8N2z8w3L4cN1q
=vNeV
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2.pl1+dfsg-5_all.deb
to main/c/coq/coq-theories_8.2.pl1+dfsg-5_all.deb
coq_8.2.pl1+dfsg-5.diff.gz
to main/c/coq/coq_8.2.pl1+dfsg-5.diff.gz
coq_8.2.pl1+dfsg-5.dsc
to main/c/coq/coq_8.2.pl1+dfsg-5.dsc
coq_8.2.pl1+dfsg-5_amd64.deb
to main/c/coq/coq_8.2.pl1+dfsg-5_amd64.deb
coqide_8.2.pl1+dfsg-5_amd64.deb
to main/c/coq/coqide_8.2.pl1+dfsg-5_amd64.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-5_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-5_amd64.deb
Reply to: