Uploaded coq 6.3.1-3 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Fri, 7 Jul 2000 08:05:47 +0200
Source: coq
Binary: coq
Architecture: m68k
Version: 6.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian/m68k Build Daemon <buildd@kullervo.informatik.uni-erlangen.de>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (6.3.1-3) unstable; urgency=low
.
* Patched to allow use of ocaml3.
Files:
efefba30e16275901f675d73e3d9240d 4244014 devel optional coq_6.3.1-3_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.0 (SunOS)
Comment: Processed by Mailcrypt 3.5.5 and Gnu Privacy Guard <http://www.gnupg.org/>
iEYEARECAAYFAjlsU0QACgkQcS3JWD3FdvfuoQCeIy9z9CUnMVXOwjDck8ES6ReE
VnQAnjGmP7X+EddbC8bLYQjxNqCur3Ab
=c1re
-----END PGP SIGNATURE-----
Reply to: