-----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
