-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 22 May 2007 21:53:16 +0200 Source: coq Binary: coqide coq-libs coq Architecture: source all i386 Version: 8.1+dfsg-5 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: 424162 Changes: coq (8.1+dfsg-5) unstable; urgency=low . * Correctly clean, closes: #424162. Files: 7293adeaa32ad20f9c0f690b2450342b 1079 math optional coq_8.1+dfsg-5.dsc 5b2e09d9a647e069339bd5f1ef397bae 14725 math optional coq_8.1+dfsg-5.diff.gz 30df538867efeae50a17c26a43178dfd 14797162 math optional coq-libs_8.1+dfsg-5_all.deb d49bf27a49965bedbe6a8b2703165853 7448218 math optional coq_8.1+dfsg-5_i386.deb 8fb90c7df18a1a1c072087ec9a589eb2 4662056 math optional coqide_8.1+dfsg-5_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGU1UIIae1O4AJae8RAoX/AJ9W5NHyOGczCED9Hab7qgxZJCRsHgCeJtmK O6+BYJ5WsvHSTB5P9ECQcRo= =aKvp -----END PGP SIGNATURE----- Accepted: coq-libs_8.1+dfsg-5_all.deb to pool/main/c/coq/coq-libs_8.1+dfsg-5_all.deb coq_8.1+dfsg-5.diff.gz to pool/main/c/coq/coq_8.1+dfsg-5.diff.gz coq_8.1+dfsg-5.dsc to pool/main/c/coq/coq_8.1+dfsg-5.dsc coq_8.1+dfsg-5_i386.deb to pool/main/c/coq/coq_8.1+dfsg-5_i386.deb coqide_8.1+dfsg-5_i386.deb to pool/main/c/coq/coqide_8.1+dfsg-5_i386.deb
