Uploaded coq 6.3.1-2 (sparc) to master
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Sat, 18 Dec 1999 16:45:01 +0100
Source: coq
Binary: coq
Architecture: sparc
Version: 6.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian SPARC Build Daemon <buildd@marcus.debian.net>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (6.3.1-2) 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:
1802144354e16e854b857a88546d7bd5 10159858 devel optional coq_6.3.1-2_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBOGGKLCo9WkFm9rsJAQE52wQAqRbiiEg9uEuriZF2wNeIzBthYbkzwi9f
5z8ErJTK/im1laDJA5qKZMjt/if2KW14EXvQ7YmDPxf8vdepBxQuawyoZcJ6EnPv
Z35LcYj42z5yo1lWPhTGJoJeDWxaLxSvYfUmmsbkjGcvcsr9uGK9JFb2qTgcjG2z
Vr1TMyqtaYA=
=wpPc
-----END PGP SIGNATURE-----
Reply to: