Uploaded coq 6.3.1-2.0.1 (sparc) to master
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Sun, 2 Jan 2000 21:07:30 -0700
Source: coq
Binary: coq
Architecture: sparc
Version: 6.3.1-2.0.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-2.0.1) unstable; urgency=low
.
* Binary only NMU for sparc deps
Files:
279700557250e3733d9fbec6c062f1b5 10159872 devel optional coq_6.3.1-2.0.1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBOHCyVyo9WkFm9rsJAQEurQP9HFRnE4QkNiShbA+KT3St7BcYojdUjZbf
NvHoUx8SGwK8jUlPwlniffPQPI5tUCSHZ6mwQeRKfCyz2/VTkJSOHeus5HzgXMKX
cNT6Y1F4bFyzSto6EMcOQ969G3/JXIYobQdrApaSavCHwVMPyOM3lWl1d+0YxJxb
A7LKIYsUdvg=
=/QUn
-----END PGP SIGNATURE-----
Reply to: