Installed: coq-doc_6.3.1-1.dsc to dists/potato/main/source/doc/coq-doc_6.3.1-1.dsc coq-doc_6.3.1-1_i386.deb to dists/potato/main/binary-i386/doc/coq-doc_6.3.1-1.deb coq-doc_6.3.1.orig.tar.gz to dists/potato/main/source/doc/coq-doc_6.3.1.orig.tar.gz coq-doc_6.3.1-1.diff.gz to dists/potato/main/source/doc/coq-doc_6.3.1-1.diff.gz -----BEGIN PGP SIGNED MESSAGE----- Format: 1.6 Date: Wed, 8 Dec 1999 16:19:01 +0100 Source: coq-doc Binary: coq-doc Architecture: source i386 Version: 6.3.1-1 Distribution: unstable Urgency: low Maintainer: Fernando Sanchez <fer@debian.org> 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: 93a38a8c3cafca88244d6a2b35649b4b 826 doc optional coq-doc_6.3.1-1.dsc 0a1707b6ea9ba1840c2cbef18a372e59 1349392 doc optional coq-doc_6.3.1.orig.tar.gz 91db992fb212ffef32f6bbc83267d54a 2320 doc optional coq-doc_6.3.1-1.diff.gz 5187b13aead50d022237357e392c3098 1357250 doc optional coq-doc_6.3.1-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: PGPfreeware 5.0i for non-commercial use Charset: noconv iQEVAwUBOFAxxUe61tg/7DnrAQGm9wf/ZWNUZ7Ed6QQM+hlS2xFqffHXChbxMX2j 8NJl6rGsvN6R4c5VgfGirFZ2Q2dr+OgKg3nW48xtuhf39sMEdn01oISShk2b8/MZ ZM4A6m1X2p6MoKYUw3WIKGXZxCu1bF/6LGdm4q6B9HGSkO2IoXm+VLoqNocXXMqM 8WbwGaR5otSf9Mm8UIEeFW88kgTn7hQ4lnfkBNCBfIdrFmXXUiZX5/3bfDdOPMng Mr9cuH0wCAdzYZBeKV3/09tIXh70yLaZ1Njwug82h7+rqqkqgpFajpWQhxT0U2Y2 g/1CTqDPmnr7+0bKL0KB/qsxyeup1yGrByOVt5ndZ95JA/arI6zcyQ== =m/YD -----END PGP SIGNATURE-----