-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 04 Jul 2007 10:49:01 +0200 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1+dfsg-6 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: 431679 Changes: coq (8.1+dfsg-6) unstable; urgency=low . * Add dependencies on ${misc:Depends}, closes: #431679. Files: 989627e7e49236209209f3ace96f3d35 1079 math optional coq_8.1+dfsg-6.dsc fad51b1b1760bd8a922266446ef09cce 14765 math optional coq_8.1+dfsg-6.diff.gz 2c84e71e8842ce2abbb04c91ef09baa1 14797432 math optional coq-libs_8.1+dfsg-6_all.deb 1fce3f1608b156d9a94faf369ce6235a 7448340 math optional coq_8.1+dfsg-6_i386.deb 415987ffccfd37694ba667c9d7a620b6 4662094 math optional coqide_8.1+dfsg-6_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGi2TkIae1O4AJae8RAqR7AKCHqThp3amtoN6+BU42N4oO5Un9UgCeMX6w DrRBsxSa2rwdXPRqkDEZiKo= =GiJQ -----END PGP SIGNATURE----- Accepted: coq-libs_8.1+dfsg-6_all.deb to pool/main/c/coq/coq-libs_8.1+dfsg-6_all.deb coq_8.1+dfsg-6.diff.gz to pool/main/c/coq/coq_8.1+dfsg-6.diff.gz coq_8.1+dfsg-6.dsc to pool/main/c/coq/coq_8.1+dfsg-6.dsc coq_8.1+dfsg-6_i386.deb to pool/main/c/coq/coq_8.1+dfsg-6_i386.deb coqide_8.1+dfsg-6_i386.deb to pool/main/c/coq/coqide_8.1+dfsg-6_i386.deb
