-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 16 Nov 2007 19:20:24 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl2+dfsg-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Samuel Mimram <smimram@debian.org> 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) Changes: coq (8.1.pl2+dfsg-2) unstable; urgency=low . * Upload to unstable. Files: af2a57a09ab532be0fd883e73ac1a2f9 1064 math optional coq_8.1.pl2+dfsg-2.dsc d8840cecb6ca1155b7a5ddddc4ef3701 15103 math optional coq_8.1.pl2+dfsg-2.diff.gz 0e9d63283fe36556b2f8ad61d7ecc174 12593274 math optional coq-libs_8.1.pl2+dfsg-2_all.deb 73730cade6c5e00bdbb82f4c8ebbd5f9 7758538 math optional coq_8.1.pl2+dfsg-2_i386.deb 4b8086dced5d03b886e6e47031d5e10a 4892846 math optional coqide_8.1.pl2+dfsg-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHPfSEIae1O4AJae8RAtdSAJ0VML6sFjr9c15WTdEPeAZAdrqawQCfZhBA RFZxRSqEm5E+Vn8faE8yFag= =w33i -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl2+dfsg-2_all.deb to pool/main/c/coq/coq-libs_8.1.pl2+dfsg-2_all.deb coq_8.1.pl2+dfsg-2.diff.gz to pool/main/c/coq/coq_8.1.pl2+dfsg-2.diff.gz coq_8.1.pl2+dfsg-2.dsc to pool/main/c/coq/coq_8.1.pl2+dfsg-2.dsc coq_8.1.pl2+dfsg-2_i386.deb to pool/main/c/coq/coq_8.1.pl2+dfsg-2_i386.deb coqide_8.1.pl2+dfsg-2_i386.deb to pool/main/c/coq/coqide_8.1.pl2+dfsg-2_i386.deb