Installed coq 7.2-8 (i386 source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 14 Feb 2002 17:38:06 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-8
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-8) unstable; urgency=low
.
* "timeout" time is now 5300s (< 90 min).
Files:
dc9bbccb4319d97dd88b0bce9011062d 614 devel optional coq_7.2-8.dsc
ad0eec9bf6a77b108913bd5b8f1af02b 4569 devel optional coq_7.2-8.diff.gz
ea85c448c8c8acc5b9f0ad8019676685 7149168 devel optional coq_7.2-8_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE8bC3AtzWmSeC6BMERAg+oAKDgofdvtWOmJL96EgFzQn+SXNdZ3QCg7iGt
sjlVgFbWbvps+8YP+CnqzLY=
=Sst8
-----END PGP SIGNATURE-----
Installed:
coq_7.2-8.diff.gz
to pool/main/c/coq/coq_7.2-8.diff.gz
coq_7.2-8.dsc
to pool/main/c/coq/coq_7.2-8.dsc
coq_7.2-8_i386.deb
to pool/main/c/coq/coq_7.2-8_i386.deb
Reply to: