Uploaded coq 7.2-5 (sparc) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 8 Feb 2002 10:08:10 +0100
Source: coq
Binary: coq
Architecture: sparc
Version: 7.2-5
Distribution: unstable
Urgency: low
Maintainer: Debian/sparc Build Daemon <buildd@sparc.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:
c90d78e2119b7130f129d830f30703fc 7232664 devel optional coq_7.2-5_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.6 <http://mailcrypt.sourceforge.net/>
iEYEARECAAYFAjxl1WQACgkQgD/uEicUG7CI7QCgumuAesV2w5fA8IuLqZeAUbAH
cuEAn2+nOx1roilM1q2pmNw7IUEacAvC
=rbxj
-----END PGP SIGNATURE-----
Reply to: