Uploaded coq 6.3.1-3 (sparc) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Fri, 7 Jul 2000 08:05:47 +0200
Source: coq
Binary: coq
Architecture: sparc
Version: 6.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian/SPARC Build Daemon <buildd@xia01.kachinatech.com>
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:
4f63bb4b89a4215f0176c643b63e6b2c 4316340 devel optional coq_6.3.1-3_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: Ben Collins <bcollins@debian.org>
iD4DBQE5nK74fNc/ZB4E7C0RAmykAJjAKEX0WeH2kXfBPju1DBb0cI1kAJ97wcex
vKyjAf20u7f8jqDrZR+DRA==
=ILSZ
-----END PGP SIGNATURE-----
Reply to: