-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 12 Feb 2002 09:10:01 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-7
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
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:
753763c99fc4d5ce142acbafd211a3de 614 devel optional coq_7.2-7.dsc
c2694e63e7ad85e920daa6b5926675fb 4532 devel optional coq_7.2-7.diff.gz
65172a9c368aa5887b6980ab0e21923d 8177722 devel optional coq_7.2-7_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE8aYs3tzWmSeC6BMERAsD7AKCGRqE6m6I+iXETnSq1BRIKb9+NowCfXUCq
W42Zb9sZvvuPA/ILoRPwXHM=
=fRJL
-----END PGP SIGNATURE-----
Installed:
coq_7.2-7.diff.gz
to pool/main/c/coq/coq_7.2-7.diff.gz
coq_7.2-7.dsc
to pool/main/c/coq/coq_7.2-7.dsc
coq_7.2-7_i386.deb
to pool/main/c/coq/coq_7.2-7_i386.deb
