Uploaded coq-doc 6.3.1-1 (sparc) to master
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Wed, 8 Dec 1999 16:19:01 +0100
Source: coq-doc
Binary: coq-doc
Architecture: sparc
Version: 6.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian SPARC Build Daemon <buildd@marcus.debian.net>
Description:
coq-doc - documentation for Coq package in ps and html formats
Changes:
coq-doc (6.3.1-1) unstable; urgency=low
.
* New upstream release
Files:
01d6871311101316b9926733733229ad 1357248 doc optional coq-doc_6.3.1-1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv
iQCVAwUBOFPf+So9WkFm9rsJAQGNkAP9GY3g9sPJHWKp/uYImGcLbdAwmKBPXGOB
coNe6g41iZ287iJuwUMRQpVQIlgUXKeesY52U594j3Rez3/8xw6IPas8gq1KqsUI
tIhyp4qCXwCcILf+Ts86RzjJ8NvicDj2yaxAWD9ONe6D2CZ7NLAluL1TJZZETCXk
3uxOx9dt80s=
=XL36
-----END PGP SIGNATURE-----
Reply to: