-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 12 Jan 2012 18:53:08 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4~beta+dfsg-1 Distribution: experimental 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 - runtime libraries for Coq libcoq-ocaml-dev - development libraries and tools for Coq Changes: coq (8.4~beta+dfsg-1) experimental; urgency=low . * New upstream beta release Checksums-Sha1: fadbbbc1933002734893d03f482056888002d0d4 2350 coq_8.4~beta+dfsg-1.dsc 7edf6ebe2a22b0397b739de06488255988acca3d 3369265 coq_8.4~beta+dfsg.orig.tar.gz 79585637bb4791a5dd1f7ae5478256594454f844 16462 coq_8.4~beta+dfsg-1.debian.tar.gz f64a1c34375edc55d1f37cfce7e0657f63416daa 5973506 coq_8.4~beta+dfsg-1_amd64.deb bae9f89bf0afbe66285ee7e181038b8829b251aa 1052344 coqide_8.4~beta+dfsg-1_amd64.deb c04e10eec29f0a18deb22705981938a3711b6001 65098270 coq-theories_8.4~beta+dfsg-1_all.deb b7d1819516c4eebdc58a6b03de57151627efe453 2213780 libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb 04d795d8893d49344bcdb009ac51241257485d3a 5697568 libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb Checksums-Sha256: 8e19ab500f3e07f7e0f631b15fa5743fa99899aaf25a8376248250dd5209af01 2350 coq_8.4~beta+dfsg-1.dsc eeb5fef8c9cf559adcc415df4a6be9419fede89d4d64dd1cd6e055253dbd7e04 3369265 coq_8.4~beta+dfsg.orig.tar.gz 120b67265890d35f843bdb5b2ebeb3cfa70acc9cdcc3a25e2ba43dea54b0656d 16462 coq_8.4~beta+dfsg-1.debian.tar.gz 3fc1c24a3c14b2e9b92882703dde94375e3652db9adfcca579dbe705676d0f80 5973506 coq_8.4~beta+dfsg-1_amd64.deb d0489ceb27480badca65e88bd677c1b3648e9dfd36305780ce81fefaf9035357 1052344 coqide_8.4~beta+dfsg-1_amd64.deb 51a1b63b2d17f8af31c09339cc516743da2c95fe8fa2f7b61eb9971fd466b637 65098270 coq-theories_8.4~beta+dfsg-1_all.deb 6b46aed20fe5b2a8dce40f50e46c42a4663f2bb5a5827709a47c27eccd9581d7 2213780 libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb 3505c8e2f38490a56f2d5bbfdb36b066576789903383333e6276ae448c823a3f 5697568 libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb Files: 076b4776ecad590158c7a36706b36d03 2350 math optional coq_8.4~beta+dfsg-1.dsc c0c25eb7b8631d12723b1b71a1cdfea9 3369265 math optional coq_8.4~beta+dfsg.orig.tar.gz 0425567e04f3133b14fdbc80eae8a937 16462 math optional coq_8.4~beta+dfsg-1.debian.tar.gz 9ef5cb82f94f5f606c3b5d08e99bf8f1 5973506 math optional coq_8.4~beta+dfsg-1_amd64.deb c9ecf7a9aa86aed7d3468a5b26855115 1052344 math optional coqide_8.4~beta+dfsg-1_amd64.deb 9b0b7a8d362f2dd6980375855b35707a 65098270 math optional coq-theories_8.4~beta+dfsg-1_all.deb 284232cc293a66dffa63b487a139e914 2213780 ocaml optional libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb 36386a55b0ad3a98df65f6bfad8a7c16 5697568 ocaml optional libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJPDyuBAAoJEHhT2k1JiBrT1zQQAJqwOsEqwY8OuruMI2AOke2E 3i6+D3OKVCYmBgczeMWjjkDw3BRxOeKFC/UshK46ldKQ1wkLr0fYFr2DdVJCQU3f ALoO1P29p1eDC/34vSokjDJQimTsVjD9piiuS7+YUArje5Nw50j2jfJd7yuw6XOh /THFV0pEwIBqjnYiuv5iA6Gnd+JLT3YLsBPEDm5FZTMbDSPVC3E0LDjXW94z0AGs QOmmO+o2In7u2zoMt8NZsvwGR5PP1/BlUfPNFkPg8POvWIv+EGDpRYufjzF82jFI xS8bVjuWQAiaPMDD0JXMSZGgDvVvbzNrZYCTACAQ8FsYmD71AOyPE/7FiVIudPl0 6bF+mkNtoIfxFJTRT3fCp2Bk8iMM9FV0buas94QbZrWM+SzUKYZfAa2zWziS/hJB KgHtb5p/z3xHVoU2GzjETc4LLc2QetKztAfIM1RNEK1vyZ60r7j1Yk9Qjxq/ipTu iIoL0i/U3EK6aaY1gtJrWsZK6i0O0phBozRv3EuU9IDzGJ/vsNuorckBuHRTZYSB D3yn9dVCebUBYDEF1iJVNCAqA42MbM/utO81Yz7C0ATmigrVkcOqEayFqUP3qw/1 qzl9B1tY230WA+CYVRxM5WNQGRSRZPBnPQk59thAkqLpSJpZPAWT2tSNbx0aZyUh tp9xWkR7IBDo6ADNmyx9 =4Wk2 -----END PGP SIGNATURE----- Accepted: coq-theories_8.4~beta+dfsg-1_all.deb to main/c/coq/coq-theories_8.4~beta+dfsg-1_all.deb coq_8.4~beta+dfsg-1.debian.tar.gz to main/c/coq/coq_8.4~beta+dfsg-1.debian.tar.gz coq_8.4~beta+dfsg-1.dsc to main/c/coq/coq_8.4~beta+dfsg-1.dsc coq_8.4~beta+dfsg-1_amd64.deb to main/c/coq/coq_8.4~beta+dfsg-1_amd64.deb coq_8.4~beta+dfsg.orig.tar.gz to main/c/coq/coq_8.4~beta+dfsg.orig.tar.gz coqide_8.4~beta+dfsg-1_amd64.deb to main/c/coq/coqide_8.4~beta+dfsg-1_amd64.deb libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb
