Uploaded coq 7.2-4 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 1 Feb 2002 11:04:25 +0100
Source: coq
Binary: coq
Architecture: m68k
Version: 7.2-4
Distribution: unstable
Urgency: low
Maintainer: buildd m68k user account <buildd@ax.westfalen.de>
Changed-By: Judicael Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (7.2-4) unstable; urgency=low
.
* Native code compilation failed on sparc; coqtop built by ocamlopt
entered an infinite loop on powerpc. Fixed (using timeout for powerpc:
if coqtop loops, it is rebuild using the bytecode compiler)
Files:
d85d0b406315bd5017c2bed42f910ab3 7138942 devel optional coq_7.2-4_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Made with pgp4pine 1.75-6
iD8DBQE8YaiRWgZ1HEtaPf0RAo+xAJ4/omFIJuFaP17XgZGqcBHS/mCCvgCffnpW
2e/NfxNgQSWxkxIPR81x4yc=
=r2sS
-----END PGP SIGNATURE-----
Reply to: