-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 04 Jan 2008 13:21:43 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl3+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) Closes: 459050 Changes: coq (8.1.pl3+dfsg-1) unstable; urgency=low . [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir . [ Samuel Mimram ] * New upstream release. * Makefile should now be compatible with dash, closes: #459050. * Updated watch file. Files: ad66f75e3da720e59c388d7296a7fb2d 1070 math optional coq_8.1.pl3+dfsg-1.dsc 35571b435de17bc560f018be53585822 2534628 math optional coq_8.1.pl3+dfsg.orig.tar.gz f56b319a4f74365422613f6614524961 15578 math optional coq_8.1.pl3+dfsg-1.diff.gz ccfc98f81a253b6570486a1b7ecbc348 12591954 math optional coq-libs_8.1.pl3+dfsg-1_all.deb 74a6b5ab00d801b8973aac89013e4442 8445120 math optional coq_8.1.pl3+dfsg-1_i386.deb 059c52306e39c094c164d3b08b289aa8 4919202 math optional coqide_8.1.pl3+dfsg-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHf0ujIae1O4AJae8RAtRMAJ9a/NqbOUPzJHstMf8MzN6uuEn9xgCfXoLf bjOFStz+SMgWtiEMZIB0nUM= =d8kG -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl3+dfsg-1_all.deb to pool/main/c/coq/coq-libs_8.1.pl3+dfsg-1_all.deb coq_8.1.pl3+dfsg-1.diff.gz to pool/main/c/coq/coq_8.1.pl3+dfsg-1.diff.gz coq_8.1.pl3+dfsg-1.dsc to pool/main/c/coq/coq_8.1.pl3+dfsg-1.dsc coq_8.1.pl3+dfsg-1_i386.deb to pool/main/c/coq/coq_8.1.pl3+dfsg-1_i386.deb coq_8.1.pl3+dfsg.orig.tar.gz to pool/main/c/coq/coq_8.1.pl3+dfsg.orig.tar.gz coqide_8.1.pl3+dfsg-1_i386.deb to pool/main/c/coq/coqide_8.1.pl3+dfsg-1_i386.deb
