-----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 <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+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
