-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 06 Jun 2012 07:35:26 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.3.pl4+dfsg-2 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 - runtime libraries for Coq libcoq-ocaml-dev - development libraries and tools for Coq Changes: coq (8.3.pl4+dfsg-2) unstable; urgency=low . * Recompile with camlp5 6.06 (no changes) Checksums-Sha1: e12f082d3da208358e384882d7f65319904896b6 2343 coq_8.3.pl4+dfsg-2.dsc 9905ea846871f1d60fff5333bb46750e91ec20f2 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz 77290ca5dd34b88228ff93a2fbbbe4dbf6dfb118 5687430 coq_8.3.pl4+dfsg-2_amd64.deb 1b68c73c764cece7aa5d5d2caf90cb325967dce5 5622922 coqide_8.3.pl4+dfsg-2_amd64.deb 2edb480e6913d4ca200b5698a9d2ed7ce7825e35 54416126 coq-theories_8.3.pl4+dfsg-2_all.deb 6f561b503dca5a48b4b063295045d2abbe56c2fd 2100528 libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 79ea16a96348652bbdbfaeb74cbaf9caff85f26b 5916580 libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb Checksums-Sha256: e59f9eb3443dd2fe0ae548b031bc9aa68f5c7de8cd1aaf0d952a0ef68c2439f6 2343 coq_8.3.pl4+dfsg-2.dsc 04c15327ca6d4e4cadba908d0d075f5030d82d9c9c9f7efe5bbb04187f651a4e 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz 98cd47e5126b0071e5ef53d455f6bb7624d130dae3308cfa6b9abd3363b9562b 5687430 coq_8.3.pl4+dfsg-2_amd64.deb b26f2b2094997f862415562b5f666bd5f1a60b7fd578e45a7b235edaa5b7460f 5622922 coqide_8.3.pl4+dfsg-2_amd64.deb 11f7a3cd6fcf3cb5e36145e670b966842ed862572cf4e5020bf9e909776b72eb 54416126 coq-theories_8.3.pl4+dfsg-2_all.deb 2c630d08fe015358518bfc3db3087f8500a17998501e04b0d4191b2e8595e263 2100528 libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb b83017c39e90899bf1d94998869233e402a7410d6bc26e02a2ae995755aa8133 5916580 libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb Files: c19602442d98f960dfcd5fea31e19f9c 2343 math optional coq_8.3.pl4+dfsg-2.dsc 34f50c26371adcf32136217b3da1d333 16306 math optional coq_8.3.pl4+dfsg-2.debian.tar.gz d12a66bb0218f37334480b39399764ae 5687430 math optional coq_8.3.pl4+dfsg-2_amd64.deb bbac3d194f74f7ac1cebb5e2bf99cf28 5622922 math optional coqide_8.3.pl4+dfsg-2_amd64.deb 93f8f59ec4634d7bf5be094cd2e59555 54416126 math optional coq-theories_8.3.pl4+dfsg-2_all.deb 1ca33a3dc5e41a5899fd9dceaa4e3621 2100528 ocaml optional libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 7915d80b5991ac8579bf0f757e962827 5916580 ocaml optional libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPzvUhAAoJEHhT2k1JiBrTYR0QAIUHatV0+YnhF3ShYBOLi9Xg 9QgmY8JA8gwdjgBnOat+3szCe8j2lkgYDntwtkMNawFDSgiK61BADC7XfF8Gp3Y1 YJw1FUPjGwk/exX8F+7REJvaJ+BPrkP3Dudw5BT2J3oXXZSMI4cn1xsFX44egzPE yd/3l7JEUFrD58dgTW2Fmnu0OVa4T8KdYhnlTYLPCA4lxLlAu8xbpV72evnHxnF3 EtaXP7vkGLV54Du7VUnQ8/DKHMm3b97hoUxEwGzfz7S0A3Zs5pidBYETMdbcmj2Q rUMaIttPdCcQamvzMJL9PhKyw4Mf5wJkikFnuUASghB8T/2gyt1SaYlJTKRwrsyT AwuWeVpfPh/JTZMBtCJTCJZ99B/OrK/kiWP6+EQsi4qFoL4DyOubTygKeh/YtEZ0 DFI4Ylt7CaABKqNaBcuUAxw81pUCc5Pb6cgE2v1ogYL6udVbt03GzCoF4wpxomb7 aD7nw4ekZBRQe2CoXb42fGnWMS7CU5NE9uCYhiswpyvcoSuvTRIm++JlLUSUKyr/ Em77VIrhJRFO1qZ+YAZQ0kwNAEbV+EaJSM/S+4+UsxDEtsCIgTzQu0KEhUF0d4Zz e04dpPfFCWtoMWNXWddEBYpAr0SowuASNzcccvPXktCiQQWpN9DiT6I90YbEIa/1 Rpzmw5Q2WFCSij1XMoSj =f333 -----END PGP SIGNATURE----- Accepted: coq-theories_8.3.pl4+dfsg-2_all.deb to main/c/coq/coq-theories_8.3.pl4+dfsg-2_all.deb coq_8.3.pl4+dfsg-2.debian.tar.gz to main/c/coq/coq_8.3.pl4+dfsg-2.debian.tar.gz coq_8.3.pl4+dfsg-2.dsc to main/c/coq/coq_8.3.pl4+dfsg-2.dsc coq_8.3.pl4+dfsg-2_amd64.deb to main/c/coq/coq_8.3.pl4+dfsg-2_amd64.deb coqide_8.3.pl4+dfsg-2_amd64.deb to main/c/coq/coqide_8.3.pl4+dfsg-2_amd64.deb libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb to main/c/coq/libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
