Uploaded coq 7.2-9 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 15 Feb 2002 09:17:20 +0100
Source: coq
Binary: coq
Architecture: m68k
Version: 7.2-9
Distribution: unstable
Urgency: low
Maintainer: Debian/m68k Build Daemon <buildd@kullervo.biophys.uni-duesseldorf.de>
Changed-By: Judicael Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (7.2-9) unstable; urgency=low
.
* ocamlc.opt completely broken on powerpc. Added a special case in
"rules" for using only bytecode.
Files:
3f8ed9486689cebd9e91054e290457ed 7139572 devel optional coq_7.2-9_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.6 and Gnu Privacy Guard <http://www.gnupg.org/>
iEYEARECAAYFAjxwvlAACgkQcS3JWD3FdvfNlgCfYCi3CvocaCnJZt8lE2ILlpNs
pHUAn3XAoyFrslnT3kDYVwzC9luirkOM
=Yz9h
-----END PGP SIGNATURE-----
Reply to: