-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Tue, 17 Apr 2001 19:24:34 +0200 Source: coq Binary: coq Architecture: m68k Version: 7.0-1 Distribution: unstable Urgency: low Maintainer: Debian/m68k Build Daemon <[EMAIL PROTECTED]> Changed-By: Judicaël Courant <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]>. * 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: 879e97dc2380da8a6e9d2ed92150bbdc 7400524 devel optional coq_7.0-1_m68k.deb
-----BEGIN PGP SIGNATURE----- Version: 2.6.3i Charset: noconv iQCVAwUBOu7Z+G547I3m3eHJAQE1QwP/dQTaiyUjFd+N2/KB/FjWII64wpj6/zyn kfVMJMXkGi9/biOea9IxndfRDH3tHTKENubcLC5956iVjKIXI6tMXhYt/NS5bR/g TnT6fyEVfS93VseUvTPEcjU6dGkcbzuQ5jhEQmI5ANGseV9YcY7XOUwmAz4LMhBU 9omKlnTvNaY= =83vo -----END PGP SIGNATURE-----