-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 1 Feb 2002 11:04:25 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-4
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-4) unstable; urgency=low
.
* Native code compilation failed on sparc; coqtop built by ocamlopt
entered an infinite loop on powerpc. Fixed (using timeout for powerpc:
if coqtop loops, it is rebuild using the bytecode compiler)
Files:
8e839704bc53bdbf839ac65d4a737d71 639 devel optional coq_7.2-4.dsc
86a14763c383a961b01f61db6d585a43 3988 devel optional coq_7.2-4.diff.gz
12519bae7621e1986403f60a0d8fbfec 8177384 devel optional coq_7.2-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE8WvkDtzWmSeC6BMERArLeAKDtr3sNZCDvDGQaTIsPvCDSlLIotwCg9pUR
SDbTGwQXggUXuXfRM5YCcMI=
=x78Z
-----END PGP SIGNATURE-----
Installed:
coq_7.2-4.diff.gz
to pool/main/c/coq/coq_7.2-4.diff.gz
coq_7.2-4.dsc
to pool/main/c/coq/coq_7.2-4.dsc
coq_7.2-4_i386.deb
to pool/main/c/coq/coq_7.2-4_i386.deb
