-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 15 Feb 2002 09:17:20 +0100 Source: coq Binary: coq Architecture: sparc Version: 7.2-9 Distribution: unstable Urgency: low Maintainer: Debian/sparc Build Daemon <[EMAIL PROTECTED]> Changed-By: Judicael Courant <[EMAIL PROTECTED]> 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: 1a25aea56dac0c58846e9fea6381d2db 7232914 devel optional coq_7.2-9_sparc.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: Processed by Mailcrypt 3.5.6 <http://mailcrypt.sourceforge.net/>
iEYEARECAAYFAjxuoaUACgkQgD/uEicUG7DivACffH43UMUeFDTltGRGcAFi67x+ R+sAoLpiMqFiuavuRsePIIpqDLYHgCZu =1Nl1 -----END PGP SIGNATURE-----