Uploaded coq 6.3.1-2 (arm) to master
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Sat, 18 Dec 1999 16:45:01 +0100
Source: coq
Binary: coq
Architecture: arm
Version: 6.3.1-2
Distribution: frozen unstable
Urgency: low
Maintainer: jim@federated.com
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:
c9a57a227c81ee02d3673994f63b4fb3 9934436 devel optional coq_6.3.1-2_arm.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: noconv
iQCVAwUBOLYjQjb8oJEootMxAQGaiwQAj0mQJc1rAlwjisPOpK1GHo56IMIY07qS
ZsF1XjRNaNSMUa2NO6yqRHZMpETnoteDmRK7TQQrfqEYaKSZRqWZWD532GzrQE6t
iprk8SCnSTquQVgHl32NI3CKiZC0l5Zc1vTSWnp/N1hVa1JtqD31uUtXF9Ittakh
+PMXvm368RE=
=sUBG
-----END PGP SIGNATURE-----
Reply to: