Uploaded coq 7.0-1 (m68k) to erlangen
-----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 <buildd@q650.biophys.uni-duesseldorf.de>
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:
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-----
Reply to: