-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 02 Jul 2010 15:25:15 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml-dev Architecture: source amd64 all Version: 8.2.pl2+dfsg-1 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-dev - development libraries and tools for Coq Closes: 585452 Changes: coq (8.2.pl2+dfsg-1) unstable; urgency=low . * New upstream release - compiles with OCaml 3.12 (Closes: #585452) - remove 0001-Update-for-why-2.19.patch (applied upstream) - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch * Use dh with overrides * debian/control: - remove Stefano and Remi from Uploaders - replace Conflicts with Breaks - bump Standards-Version to 3.9.0 * Switch source package format to 3.0 (quilt) Checksums-Sha1: 93ceac9f6389f1fb924a21b038419ed34e1f1fe7 2157 coq_8.2.pl2+dfsg-1.dsc e994ae8621cfb61f221312252fe0f6d2f5b57784 3142575 coq_8.2.pl2+dfsg.orig.tar.gz f0982c65e58ad3c6dd658405649dc93d478b7c87 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz fb335562adda3353fbf5c54675c7a85f3d345a21 15354950 coq_8.2.pl2+dfsg-1_amd64.deb cf45364f615d1dee357c8242e66788bb0a714b48 6553352 coqide_8.2.pl2+dfsg-1_amd64.deb fb74fe8bd2739ead9189b9b7d77ac20de86ddd75 18387420 coq-theories_8.2.pl2+dfsg-1_all.deb 3e9de30c5e61229377c669741065439fa2a862af 6085774 libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb Checksums-Sha256: 5d760efdb2dc5c08220a3f4140fba30d446ef58322f5923b001313a76909150b 2157 coq_8.2.pl2+dfsg-1.dsc a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 3142575 coq_8.2.pl2+dfsg.orig.tar.gz 817965fc8e0cffd51495c266dbaecf0d34eb826f64bca420c4825d08e8f329c6 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz 113112bac64002428b44096e90af97627b4c7fff0a80c7a2536edfb3e179747f 15354950 coq_8.2.pl2+dfsg-1_amd64.deb f955ee847c7c030091ed7bb881f77de08c06002be03ad4f7a8a7f5d7041b25c6 6553352 coqide_8.2.pl2+dfsg-1_amd64.deb 54c3cd8f6eb66c98a6e157b33b957182a61767a19b1d6b37d4945029a26e8a40 18387420 coq-theories_8.2.pl2+dfsg-1_all.deb fc5fbfb86e8d078774838ed040bbef85b07eb8ce55d1585ef43b41eaf7ad5574 6085774 libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb Files: 3a026518c5d8b4adf35b79cad23629f2 2157 math optional coq_8.2.pl2+dfsg-1.dsc 64093f3b22d6f49418b4d5267925141b 3142575 math optional coq_8.2.pl2+dfsg.orig.tar.gz 22f7bc31e1ad9289856fb92824e0e2bf 16779 math optional coq_8.2.pl2+dfsg-1.debian.tar.gz 140feb97b61e674b94a3ae4474e537b0 15354950 math optional coq_8.2.pl2+dfsg-1_amd64.deb 86a438a76340348dc56bae2df09ab1f7 6553352 math optional coqide_8.2.pl2+dfsg-1_amd64.deb 6d5a0460aa6cea104e3e86c5eae7e5a3 18387420 math optional coq-theories_8.2.pl2+dfsg-1_all.deb 79c302d333abf29eb8e7027945c426c6 6085774 ocaml optional libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJMLff5AAoJEHhT2k1JiBrTV5QQAKsghiJlXJkzjVrAKma/iu8Q i783IB/P4IClgwbvTh/2F93jqLCfFJ5SZ9UC4rZ+bh/c0quIcDHaighUwWdkCmqg dsWqcWVjJM6e1wnX8j2f4jwb4tdNqaBpX2bs+OEdYRpv+4/n3+fzhNEDUm4UMp1z BBO0puFJSkUpLfcnGV6iDh0kUaaxaKeZsf+VtOCsjG/nmAkQTRAChpwiN9XgztNy fI6fVg8Qa0Uj3xJJ18i7DcJwevQeRC98jgEQxGOWSyCrYL1VhaVqi5RINqPOHpKG pdKWE2A24bQitWlV1gCu2CJVzD8BU50zVg9mSP7qDeCIbKOT1PLrs+D4KDWYjERc 1F39DpLba1sBqy36qdS3M3PEREaaOTEJcXqfmMQoOrwXLTDb6VlBDg/1OWZCGbTE WJbHoZdq1yQqUrjVphoGU29YPILTvwQfTaKjhYJceAOzko3VHzRb9xaaoYM/WBCd SCtrxAuObwhy9xM10+1U3KonrgzlBfnura4RTvkzHf2KWycYUqK+98Bvkezdx78x YQsDZgALnCuOaADBHLb88go2pgvHL6G3tY/HKS5KtTp9p1NrbSgUKH5WaWd4yjqX Sgo/OzRHq2FQ/4cu8Hs3eg2OQJJh/NmhDUc8j6Gca2XjGUjHLOGJKWLbveYfn1tT rJbhILhPOroADRVfA5/i =zyT3 -----END PGP SIGNATURE----- Accepted: coq-theories_8.2.pl2+dfsg-1_all.deb to main/c/coq/coq-theories_8.2.pl2+dfsg-1_all.deb coq_8.2.pl2+dfsg-1.debian.tar.gz to main/c/coq/coq_8.2.pl2+dfsg-1.debian.tar.gz coq_8.2.pl2+dfsg-1.dsc to main/c/coq/coq_8.2.pl2+dfsg-1.dsc coq_8.2.pl2+dfsg-1_amd64.deb to main/c/coq/coq_8.2.pl2+dfsg-1_amd64.deb coq_8.2.pl2+dfsg.orig.tar.gz to main/c/coq/coq_8.2.pl2+dfsg.orig.tar.gz coqide_8.2.pl2+dfsg-1_amd64.deb to main/c/coq/coqide_8.2.pl2+dfsg-1_amd64.deb libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb to main/c/coq/libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb
