Uploaded coq 6.3.1-1 (sparc) to master
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Fri, 3 Dec 1999 22:06:04 +0100
Source: coq
Binary: coq
Architecture: sparc
Version: 6.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian SPARC Build Daemon <buildd@marcus.debian.net>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (6.3.1-1) unstable; urgency=low
.
* Initial Release.
Files:
5949475e434ecf73b06d0ca6625f2a9f 10159734 devel optional coq_6.3.1-1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBOFEoKio9WkFm9rsJAQE9UwP+ONJSH1qfEmjCGbWn80rRKSKw58wiJiaE
Ib6Kvdw2RhxCa6qN8jMRxFl7fsE4Z6A7oNDC5aX9unQB48/ATv+1Vb2huKdPWq6Y
KYtBASRnnHfjVY/7HQrblhpGGx37jkiLBPT/sY/ifRTqugEtvFXEB8ALd4b8AR77
7lzWp/J6NEU=
=l5Dx
-----END PGP SIGNATURE-----
Reply to: