-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 18 Aug 2007 20:59:45 +0200 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl1+dfsg-1 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.pl1+dfsg-1) unstable; urgency=low . * New upstream release. Files: ccbcdbaa8007d975ada5bf0d6a218833 1091 math optional coq_8.1.pl1+dfsg-1.dsc 4185b967443cc2354a52a710eac481f5 2521668 math optional coq_8.1.pl1+dfsg.orig.tar.gz 274748c58f07f906b7623910d3577cce 14895 math optional coq_8.1.pl1+dfsg-1.diff.gz eb538f891e02947d9526b84b4a1c6b8b 12657714 math optional coq-libs_8.1.pl1+dfsg-1_all.deb 72ab0f499752695d789326a9cf988b77 7504550 math optional coq_8.1.pl1+dfsg-1_i386.deb f0dc86044f31eaa573bd8166c8deb2df 4687284 math optional coqide_8.1.pl1+dfsg-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGx1hGIae1O4AJae8RAjRSAJ9IUiBFXm9a/p9YyJ2XqVCGmLof9ACfZLE4 yFE+VidqM1ePtNUXXYTi5v4= =C93m -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl1+dfsg-1_all.deb to pool/main/c/coq/coq-libs_8.1.pl1+dfsg-1_all.deb coq_8.1.pl1+dfsg-1.diff.gz to pool/main/c/coq/coq_8.1.pl1+dfsg-1.diff.gz coq_8.1.pl1+dfsg-1.dsc to pool/main/c/coq/coq_8.1.pl1+dfsg-1.dsc coq_8.1.pl1+dfsg-1_i386.deb to pool/main/c/coq/coq_8.1.pl1+dfsg-1_i386.deb coq_8.1.pl1+dfsg.orig.tar.gz to pool/main/c/coq/coq_8.1.pl1+dfsg.orig.tar.gz coqide_8.1.pl1+dfsg-1_i386.deb to pool/main/c/coq/coqide_8.1.pl1+dfsg-1_i386.deb
