Accepted coq 8.2.pl2+dfsg-1 (source all amd64)
-----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
Reply to: