Accepted coq 8.2~rc2+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 08 Feb 2009 10:52:43 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2~rc2+dfsg-2
Distribution: experimental
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~rc2+dfsg-2) experimental; urgency=low
.
* Add more versioned dependencies to please buildds
Checksums-Sha1:
b262539fd31ed81911c539385611db58a3c7ccda 1587 coq_8.2~rc2+dfsg-2.dsc
90e27534a7cb585623e9c40b3ed5f7e7356c0ad2 13702 coq_8.2~rc2+dfsg-2.diff.gz
a70834cbcf99e09620becbe2c1dd4a0e1aecc997 18221156 coq-theories_8.2~rc2+dfsg-2_all.deb
f338f9f8d6f1bfbdcb2e07bd9af8ee1cabe2a97d 14186754 coq_8.2~rc2+dfsg-2_amd64.deb
e72c8ed88c1c40c9808c895809919461e194487e 6463234 coqide_8.2~rc2+dfsg-2_amd64.deb
2add5e79bf83e9db17b431c161fb4bd177eabacf 6037886 libcoq-ocaml-dev_8.2~rc2+dfsg-2_amd64.deb
Checksums-Sha256:
ee044c9a0a4ca88a62f193bbf259ca77abbdfd0049a7d2b59ba2df1b96b059a9 1587 coq_8.2~rc2+dfsg-2.dsc
d4bdaac13e6baf57fa95eda87f6d1f09f344108c16c1c74285c265936f24fb65 13702 coq_8.2~rc2+dfsg-2.diff.gz
8e2f27bfba2d065a5e046a586fb1dcfc90baca30f3ceb8656b0b978f7637aad8 18221156 coq-theories_8.2~rc2+dfsg-2_all.deb
0817e7a2cc417c2c0933202281eb0dcb9a394f6b2df24995d3bf817cfd03172a 14186754 coq_8.2~rc2+dfsg-2_amd64.deb
937d94976ca3154fca1a11bb0563606308f0bc3ae64b9edb155e154c1da1bff0 6463234 coqide_8.2~rc2+dfsg-2_amd64.deb
633c4381a5f2e5713efec9a6f25b05b2ec4bd2c8b9778211aa799179c58c254a 6037886 libcoq-ocaml-dev_8.2~rc2+dfsg-2_amd64.deb
Files:
021adf7d105c556e352ecf8e20b656a4 1587 math optional coq_8.2~rc2+dfsg-2.dsc
3ac299e88fbc731ec51f33a3e4967839 13702 math optional coq_8.2~rc2+dfsg-2.diff.gz
176a9230b732462d870c5d0b1139a66d 18221156 math optional coq-theories_8.2~rc2+dfsg-2_all.deb
35d5790cdd372a61e36a87a0b6cde1b5 14186754 math optional coq_8.2~rc2+dfsg-2_amd64.deb
ce044544395e02ec18c76f470d6f7cfd 6463234 math optional coqide_8.2~rc2+dfsg-2_amd64.deb
4de740c0f6a8ac6bf8e43b1824b46390 6037886 libdevel optional libcoq-ocaml-dev_8.2~rc2+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmOtUUACgkQBg8odvzgPapFhwCgqjLOL0xbDSd1jBB6/hDvtg0j
jm8AnRTU5BmD6ljsRw3WIvOlgMlr4FEd
=cZ+/
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2~rc2+dfsg-2_all.deb
to pool/main/c/coq/coq-theories_8.2~rc2+dfsg-2_all.deb
coq_8.2~rc2+dfsg-2.diff.gz
to pool/main/c/coq/coq_8.2~rc2+dfsg-2.diff.gz
coq_8.2~rc2+dfsg-2.dsc
to pool/main/c/coq/coq_8.2~rc2+dfsg-2.dsc
coq_8.2~rc2+dfsg-2_amd64.deb
to pool/main/c/coq/coq_8.2~rc2+dfsg-2_amd64.deb
coqide_8.2~rc2+dfsg-2_amd64.deb
to pool/main/c/coq/coqide_8.2~rc2+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.2~rc2+dfsg-2_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2~rc2+dfsg-2_amd64.deb
Reply to: