-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 11 Jan 2002 11:08:03 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-2
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Judicaël Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (7.2-2) unstable; urgency=low
.
* Build-Depends now requires camlp4 instead of camlp4 (>=3.01) since
camlp4 is a virtual package provided by ocaml >=3.04.
Files:
1bcc95f3481798de07f77b29faa01c40 613 devel optional coq_7.2-2.dsc
7262badbd298f5ff81b40c4e022d0d6e 1154813 devel optional coq_7.2.orig.tar.gz
225aef5d320cc81958758f4e9707bb08 5966 devel optional coq_7.2-2.diff.gz
6f06b65e830ab2da6c8065fe69f3d02d 8177092 devel optional coq_7.2-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE8SI37tzWmSeC6BMERAr9IAJ9BHIK4BV6ZXbdnV1B5w78TSZAu7ACgo0nn
Qz6nrLblf+QCjXk6lxa2Zuo=
=ebfs
-----END PGP SIGNATURE-----
Installed:
coq_7.2-2.diff.gz
to pool/main/c/coq/coq_7.2-2.diff.gz
coq_7.2-2.dsc
to pool/main/c/coq/coq_7.2-2.dsc
coq_7.2-2_i386.deb
to pool/main/c/coq/coq_7.2-2_i386.deb
coq_7.2.orig.tar.gz
to pool/main/c/coq/coq_7.2.orig.tar.gz
