-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 15 Aug 2008 13:20:16 +0200 Source: coq Binary: coq coqide coq-libs Architecture: source all i386 Version: 8.2~beta4+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-libs - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) Closes: 495165 Changes: coq (8.2~beta4+dfsg-2) experimental; urgency=low . * [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native architectures (Closes: #495165) Checksums-Sha1: a838c4edc6487d41b950c51209a1efaf842ec43f 1555 coq_8.2~beta4+dfsg-2.dsc 32c2efd9d861a828f6beafc352ff88579a4469d6 14305 coq_8.2~beta4+dfsg-2.diff.gz f905d06d5815212f284b908d32d231da196bc7e8 18742360 coq-libs_8.2~beta4+dfsg-2_all.deb f2f7222a07ce2f05e6c07b93d1dc901974b8a867 10615026 coq_8.2~beta4+dfsg-2_i386.deb 0817b6a927fafd8e3d074cf3acfcd19b5200d853 5482990 coqide_8.2~beta4+dfsg-2_i386.deb Checksums-Sha256: 16a13db0d0339babb9d7544c9ee395dda43bf8ddd399a9d39891ed5caeb360d4 1555 coq_8.2~beta4+dfsg-2.dsc 4d2915d2534c755c8a7d436655fa9cd311a17a5bd2da3a0b8bc555c7bc747110 14305 coq_8.2~beta4+dfsg-2.diff.gz 92196000817d3a1dd79f71b797199d251d5975e92708af600eba2ae059d14d39 18742360 coq-libs_8.2~beta4+dfsg-2_all.deb 5917ca3127343c6ef8796567ade5dc1ea4dbdce1ce7126c0d7b7c3d438c52a85 10615026 coq_8.2~beta4+dfsg-2_i386.deb d5f79906b8d182b589bbf08804da7aaac697182b74e3e9833d7a5558cac9bed8 5482990 coqide_8.2~beta4+dfsg-2_i386.deb Files: 66d1c69ad4ede55bb96ebd01bc1bd12d 1555 math optional coq_8.2~beta4+dfsg-2.dsc a829f575446efa6f5a0fcd2d10d16a02 14305 math optional coq_8.2~beta4+dfsg-2.diff.gz b0e57746af7902a4a78663e39c496e54 18742360 math optional coq-libs_8.2~beta4+dfsg-2_all.deb e94aff117e631f6db5d01a426cc69667 10615026 math optional coq_8.2~beta4+dfsg-2_i386.deb ab82081781244873b04f8be99d790ba1 5482990 math optional coqide_8.2~beta4+dfsg-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkilm6oACgkQIae1O4AJae/UagCeMX2mmxoRa3BZBwd6fZ/FEIg+ vSAAn1qe1w+NqberU9ebMQ32ZLtQA6kC =eWtM -----END PGP SIGNATURE----- Accepted: coq-libs_8.2~beta4+dfsg-2_all.deb to pool/main/c/coq/coq-libs_8.2~beta4+dfsg-2_all.deb coq_8.2~beta4+dfsg-2.diff.gz to pool/main/c/coq/coq_8.2~beta4+dfsg-2.diff.gz coq_8.2~beta4+dfsg-2.dsc to pool/main/c/coq/coq_8.2~beta4+dfsg-2.dsc coq_8.2~beta4+dfsg-2_i386.deb to pool/main/c/coq/coq_8.2~beta4+dfsg-2_i386.deb coqide_8.2~beta4+dfsg-2_i386.deb to pool/main/c/coq/coqide_8.2~beta4+dfsg-2_i386.deb
