-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 9 Apr 2004 18:03:41 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]>
Changed-By: Ralf Treinen <[EMAIL PROTECTED]>
Description:
coq - Proof assistant for higher-order logic
Closes: 242761
Changes:
coq (7.3.1-3) unstable; urgency=low
.
* Added build-dependency on ocaml-best-compilers, check for opt compilers
in the configure-stamp target of debian/rules. Thanks to Mike Furr for
the patch (closes: #242761).
* Converted changelog to UTF-8.
Files:
b39aa257a852f209b36345202e0e1319 799 devel optional coq_7.3.1-3.dsc
7e3c6aa74a21797abd554b929beef68b 8521 devel optional coq_7.3.1-3.diff.gz
f39734a2edfe2d7d35809122b688a818 7546024 devel optional coq_7.3.1-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAdtdOtzWmSeC6BMERAsgrAJ9A+vY4IdpIfukiF0vu8q1tJusmzQCfbI4j
UbxeXlamLzfXZ2V4f/plHik=
=ithR
-----END PGP SIGNATURE-----
Accepted:
coq_7.3.1-3.diff.gz
to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
to pool/main/c/coq/coq_7.3.1-3_i386.deb
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
