-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.8
Date: Sun, 05 Jul 2009 12:51:15 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2.pl1+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
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-2) unstable; urgency=low
.
* During validation of stdlib, call coqchk without -silent to avoid
timeout on buildds because of lack of output
Checksums-Sha1:
459cdb882875734948b9333e7665499d33ec01d0 1607 coq_8.2.pl1+dfsg-2.dsc
ddd98552586dd643466bef97b6c7090cf20ae3ff 14513 coq_8.2.pl1+dfsg-2.diff.gz
19653c42dea0a7b314257ccb7a7bc86b8e5263ff 18384658 coq-theories_8.2.pl1+dfsg-2_all.deb
29e295954cd0e2977aac6dfc675d231e00c71a00 15311900 coq_8.2.pl1+dfsg-2_amd64.deb
0c3a1f3ec3bf0f5ffe1178dfa4fddaff3843460c 6537946 coqide_8.2.pl1+dfsg-2_amd64.deb
ad13c41222af5c425231818cba20cbe4c6e159f7 6047744 libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
Checksums-Sha256:
3297ac0240af8469ec9304e3a59e22e316897414ed9470f607e404d4d4f17bbb 1607 coq_8.2.pl1+dfsg-2.dsc
9891711854f70bdcb84a833ce201747419357eed4edabe1fa08b4ae16bc476ef 14513 coq_8.2.pl1+dfsg-2.diff.gz
59963b9e88632bb99134f85c7b94b32ffb2fefa88972ea2d2489ec6f24a1a290 18384658 coq-theories_8.2.pl1+dfsg-2_all.deb
e505803ebb70bd5ecc0b1a2e188f192c90ec2a31b9bb2b8603e5ecc0a737d99c 15311900 coq_8.2.pl1+dfsg-2_amd64.deb
a90760d08ddd4e67a4f8e298f219a8c64d8237583d68cafc55ce42eed47cba76 6537946 coqide_8.2.pl1+dfsg-2_amd64.deb
a2ef05a6f920901fe8fba7eb165609ddae1f39b972ccc09efb94b08ed29cf9a9 6047744 libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
Files:
8faff53d513405e1fc7f4704747263b2 1607 math optional coq_8.2.pl1+dfsg-2.dsc
69bcf07bbd347dd853e2b09f395d98ab 14513 math optional coq_8.2.pl1+dfsg-2.diff.gz
d4286897d0e4091ed21a547793c87e43 18384658 math optional coq-theories_8.2.pl1+dfsg-2_all.deb
0b3662568b054da45b3623793bf7e574 15311900 math optional coq_8.2.pl1+dfsg-2_amd64.deb
f4f2b9a70174d3bdc9ebbfde0374c62b 6537946 math optional coqide_8.2.pl1+dfsg-2_amd64.deb
e8145fd055cf2e58113b28fc540bab2c 6047744 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREDAAYFAkpQijIACgkQBg8odvzgPaoU2gCgw8fhrLkhcKIZsg6OaNywb5MO
ow4AoLu20tneNDrpgOjMvjeeIRUrYwQE
=fg13
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2.pl1+dfsg-2_all.deb
to pool/main/c/coq/coq-theories_8.2.pl1+dfsg-2_all.deb
coq_8.2.pl1+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.2.pl1+dfsg-2.diff.gz
coq_8.2.pl1+dfsg-2.dsc
to pool/main/c/coq/coq_8.2.pl1+dfsg-2.dsc
coq_8.2.pl1+dfsg-2_amd64.deb
to pool/main/c/coq/coq_8.2.pl1+dfsg-2_amd64.deb
coqide_8.2.pl1+dfsg-2_amd64.deb
to pool/main/c/coq/coqide_8.2.pl1+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
