Uploaded coq-doc 6.3.1-1 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Wed, 8 Dec 1999 16:19:01 +0100
Source: coq-doc
Binary: coq-doc
Architecture: m68k
Version: 6.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian/m68k Build Daemon <buildd@kullervo.informatik.uni-erlangen.de>
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:
2172ca656c2aac88fcfb84dac3aecdf0 1357260 doc optional coq-doc_6.3.1-1_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/>
iEYEARECAAYFAjhXcjwACgkQcS3JWD3Fdvfy1QCeIKQYUOD78AqTEMIblk0J7Mdo
5XUAmwUYzeVYSO0XGdOfAcChD8A/offQ
=Bpuf
-----END PGP SIGNATURE-----
Reply to: