Uploaded coq 7.2-7 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 12 Feb 2002 09:10:01 +0100
Source: coq
Binary: coq
Architecture: m68k
Version: 7.2-7
Distribution: unstable
Urgency: low
Maintainer: buildd m68k user account <buildd@ax.westfalen.de>
Changed-By: Judicael Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (7.2-7) unstable; urgency=low
.
* Build now uses ocamlc.opt and ocamlopt.opt if available.
* Dependency forced on ocaml >= 3.04 (dependency ocaml >=3.04 | camlp4
does not make buildd happy. See http://buildd.debian.org/fetch.php?
&pkg=coq&ver=7.2-5&arch=arm&stamp=1013388706&file=log&as=raw).
Files:
88b6c7181d57ae0235919f0f810efe37 7139346 devel optional coq_7.2-7_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Made with pgp4pine 1.75-6
iD8DBQE8bA6VWgZ1HEtaPf0RAnGsAJ4+1xj/q4Q35eAcaE+Aj3hlXwwi6ACeKLeo
Ck1YZFeM5ZyfxMiOakRKZdI=
=S/en
-----END PGP SIGNATURE-----
Reply to: