-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 11 Feb 2002 11:22:21 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-6
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-6) unstable; urgency=low
.
* Typo in rules, which made the build process always build in
bytecode. Fixed.
Files:
fe9fa4dba5418d13c1fd27d19a538fd5 639 devel optional coq_7.2-6.dsc
73be0aa795d8e4e6669527ae2551f5f3 4362 devel optional coq_7.2-6.diff.gz
684bcbfb5e67d780c55041617b6d942e 8177558 devel optional coq_7.2-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE8aCDStzWmSeC6BMERAlqBAJ9GhW2txc3stRkCy4mwx1fd/ImKggCfXYqt
4LAa03x6Bm6OSV1O4PIozPA=
=ONoH
-----END PGP SIGNATURE-----
Installed:
coq_7.2-6.diff.gz
to pool/main/c/coq/coq_7.2-6.diff.gz
coq_7.2-6.dsc
to pool/main/c/coq/coq_7.2-6.dsc
coq_7.2-6_i386.deb
to pool/main/c/coq/coq_7.2-6_i386.deb
