-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 09 Apr 2007 16:48:46 +0200 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.1+dfsg-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Samuel Mimram <[EMAIL PROTECTED]> 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+dfsg-3) unstable; urgency=low . * Uploading to unstable. Files: 34d73ab09c3c1ca5fd978165fc354017 1093 math optional coq_8.1+dfsg-3.dsc 73e32169a109406322477ed768b50a04 14613 math optional coq_8.1+dfsg-3.diff.gz ee80b11f5aba326a48e613c0580bc3ed 14797028 math optional coq-libs_8.1+dfsg-3_all.deb bd846e02cdda500eae4651e16873941b 7437518 math optional coq_8.1+dfsg-3_i386.deb b5082bd685629d67039aff61313b9bd5 4642438 math optional coqide_8.1+dfsg-3_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGGllFIae1O4AJae8RAn4NAJoC3HncwOFq4jwZuIpVKd38CTkl9ACeJ3dL 5+afAXw6M9MX22dRp045jAI= =COIf -----END PGP SIGNATURE----- Accepted: coq-libs_8.1+dfsg-3_all.deb to pool/main/c/coq/coq-libs_8.1+dfsg-3_all.deb coq_8.1+dfsg-3.diff.gz to pool/main/c/coq/coq_8.1+dfsg-3.diff.gz coq_8.1+dfsg-3.dsc to pool/main/c/coq/coq_8.1+dfsg-3.dsc coq_8.1+dfsg-3_i386.deb to pool/main/c/coq/coq_8.1+dfsg-3_i386.deb coqide_8.1+dfsg-3_i386.deb to pool/main/c/coq/coqide_8.1+dfsg-3_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
