-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 24 Apr 2007 14:46:59 +0000 Source: coq Binary: coqide coq-libs coq Architecture: source i386 all Version: 8.1+dfsg-4 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-4) unstable; urgency=low . * Correctly set Coq_config.best when rebuilding in byte mode. * Removed tetex-extra from build-dependencies. Files: 2e11ed265fa50b1f56a03728532e6a46 1079 math optional coq_8.1+dfsg-4.dsc f25afce574db7f7b25bb59f5eb73d68e 14623 math optional coq_8.1+dfsg-4.diff.gz e6b59e6a165943b5a2196c85bb1099cb 14797004 math optional coq-libs_8.1+dfsg-4_all.deb 250f5e04b9cf4918728ab2cf8ed246e0 7437506 math optional coq_8.1+dfsg-4_i386.deb c0d70feb9d603f446ac757159276536c 4642618 math optional coqide_8.1+dfsg-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD4DBQFGLnZEIae1O4AJae8RAnLUAJMGqrSX5FZ2+AykDeXSU6bEmhXVAJ4vYdtv rqGPccHU6j3pKY9WgvwOHA== =+HHi -----END PGP SIGNATURE----- Accepted: coq-libs_8.1+dfsg-4_all.deb to pool/main/c/coq/coq-libs_8.1+dfsg-4_all.deb coq_8.1+dfsg-4.diff.gz to pool/main/c/coq/coq_8.1+dfsg-4.diff.gz coq_8.1+dfsg-4.dsc to pool/main/c/coq/coq_8.1+dfsg-4.dsc coq_8.1+dfsg-4_i386.deb to pool/main/c/coq/coq_8.1+dfsg-4_i386.deb coqide_8.1+dfsg-4_i386.deb to pool/main/c/coq/coqide_8.1+dfsg-4_i386.deb
