-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 15 Oct 2007 18:55:09 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1.pl2+dfsg-1 Distribution: experimental 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: 446170 Changes: coq (8.1.pl2+dfsg-1) experimental; urgency=low . * New upstream release. * Removed camlp5.dpatch, integrated upstream. * Updated browser.dpatch, coqdoc_stdlib.dpatch and makefile.dpatch. * Corrected emacs-mode startup file, closes: #446170. * Removed Sven Luther from uploaders. Files: d74467e3561d9ce6f01c0a918eb8d2b9 1064 math optional coq_8.1.pl2+dfsg-1.dsc 7fefdeb0c55cbf9668b7bb9ba2a4a0db 2526089 math optional coq_8.1.pl2+dfsg.orig.tar.gz e41f92555929766a03534430d965930a 15078 math optional coq_8.1.pl2+dfsg-1.diff.gz 1caa8f45479cfd1245048bc2bac0438e 12593252 math optional coq-libs_8.1.pl2+dfsg-1_all.deb 3f71045cbb6b7d732a2c76efeec2cb81 7758514 math optional coq_8.1.pl2+dfsg-1_i386.deb 25e5c45f687fac6e6b8b290c304588d3 4892854 math optional coqide_8.1.pl2+dfsg-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHE8WQIae1O4AJae8RAlzIAJ9WeowmJ84Kg5MaSQdFetN5Che43QCeNSuG 7+VqaXH32pngiyvzsEX3IF8= =KlmU -----END PGP SIGNATURE----- Accepted: coq-libs_8.1.pl2+dfsg-1_all.deb to pool/main/c/coq/coq-libs_8.1.pl2+dfsg-1_all.deb coq_8.1.pl2+dfsg-1.diff.gz to pool/main/c/coq/coq_8.1.pl2+dfsg-1.diff.gz coq_8.1.pl2+dfsg-1.dsc to pool/main/c/coq/coq_8.1.pl2+dfsg-1.dsc coq_8.1.pl2+dfsg-1_i386.deb to pool/main/c/coq/coq_8.1.pl2+dfsg-1_i386.deb coq_8.1.pl2+dfsg.orig.tar.gz to pool/main/c/coq/coq_8.1.pl2+dfsg.orig.tar.gz coqide_8.1.pl2+dfsg-1_i386.deb to pool/main/c/coq/coqide_8.1.pl2+dfsg-1_i386.deb
