-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 17 Apr 2001 19:24:34 +0200 Source: coq Binary: coq Architecture: source i386 Version: 7.0-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Judicaël Courant <Judicael.Courant@lri.fr> Description: coq - a proof assistant for higher-order logic. Closes: 70273 92461 Changes: coq (7.0-1) unstable; urgency=low . * New maintainer Judicaël Courant <Judicael.Courant@lri.fr>. * New upstream version. * Added Build-Depends (closes: Bug#70273). * Cleaned up dependencies. * Emacs mode installation now follows Emacs policy. * Made compilation non-interactive (closes: Bug#92461). * Added Suggests cle. Files: 6ab231400d1ecd0018ca934dbf06e301 622 devel optional coq_7.0-1.dsc dccf37c43443353294578c45de23a005 991904 devel optional coq_7.0.orig.tar.gz 7df83fad1c8784310f4621781a73163a 4148 devel optional coq_7.0-1.diff.gz 9f774e62b620921203a6eac0b446fe58 8372254 devel optional coq_7.0-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.4 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE66JEItzWmSeC6BMERArVwAKDVT58L/RHjjuWSZtZe+PCt5NpOAQCgzI/J w+CGXL2/hs7tQVnUoMyNlI4= =Ogl2 -----END PGP SIGNATURE----- Installed: coq_7.0.orig.tar.gz to pool/main/c/coq/coq_7.0.orig.tar.gz coq_7.0-1_i386.deb to pool/main/c/coq/coq_7.0-1_i386.deb coq_7.0-1.diff.gz to pool/main/c/coq/coq_7.0-1.diff.gz coq_7.0-1.dsc to pool/main/c/coq/coq_7.0-1.dsc
