Uploaded coq 6.3.1-2 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Sat, 18 Dec 1999 16:45:01 +0100
Source: coq
Binary: coq
Architecture: m68k
Version: 6.3.1-2
Distribution: frozen unstable
Urgency: low
Maintainer: Debian/m68k Build Daemon <buildd@kullervo.informatik.uni-erlangen.de>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (6.3.1-2) frozen unstable; urgency=low
.
* Some changes to allow successful porting of this package:
* Added checking for ocamlopt.opt before running ./configure with -opt,
and configure without it if it is not present for this architecture.
* Added checking for ocamlopt before making world-opt.
Files:
dad6da25461410301b9bca7e3ccd2e5b 4575142 devel optional coq_6.3.1-2_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.0 (SunOS)
Comment: Processed by Mailcrypt 3.5.5 and Gnu Privacy Guard <http://www.gnupg.org/>
iEYEARECAAYFAjjDq7UACgkQcS3JWD3FdvcRvACggTnRreBiPXTQ8jgv5A5ppOI+
NswAn13IKFzOifL77rhhzVoxh17RQXad
=9LHP
-----END PGP SIGNATURE-----
Reply to: