Installed coq-doc 6.3.1-1 (source i386)
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-----
Reply to: