[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Uploaded coq 7.2-6 (sparc) to ftp-master



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

Format: 1.7
Date: Mon, 11 Feb 2002 11:22:21 +0100
Source: coq
Binary: coq
Architecture: sparc
Version: 7.2-6
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-6) unstable; urgency=low
 .
   * Typo in rules, which made the build process always build in
     bytecode. Fixed.
Files: 
 a006401218a05653e82be4d69b810f44 7232680 devel optional coq_7.2-6_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.6 <http://mailcrypt.sourceforge.net/>

iEYEARECAAYFAjxp0x0ACgkQgD/uEicUG7B2/ACgp81nonMuQ8mOFZ3mJT37vIgN
m9EAn1KCQOJlZfTuMbDKah2duzGZ0h6r
=acTU
-----END PGP SIGNATURE-----



Reply to: