-----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
