Installed coq 7.2-5 (i386 source)

[Judicael Courant <Judicael.Courant@lri.fr>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Fri,  8 Feb 2002 10:08:10 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-5
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-5) unstable; urgency=low
 .
   * Pb with timeout, used in 7.2-4 (bug 132927) making the build process
     fail when compilation in native mode fails. Workaround in rules: after
     a "timeout ... make ..." we try a "make -q" to check that everything
     has been done correctly.
Files: 
 b118cfb041883ca139f2e6e8a85266f1 639 devel optional coq_7.2-5.dsc
 a4444d79af876831f491430818aed7c1 4319 devel optional coq_7.2-5.diff.gz
 c7995a984ddb829d891abb04b794e457 7148922 devel optional coq_7.2-5_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE8ZCy5tzWmSeC6BMERAi5FAJ9LcCqaKmi+7vqdeJ04QhzoVDcvNACfVnAP
NmEMmyefTwtnjGZ+HwBMpxo=
=5FL4
-----END PGP SIGNATURE-----


Installed:
coq_7.2-5.diff.gz
  to pool/main/c/coq/coq_7.2-5.diff.gz
coq_7.2-5.dsc
  to pool/main/c/coq/coq_7.2-5.dsc
coq_7.2-5_i386.deb
  to pool/main/c/coq/coq_7.2-5_i386.deb