Installed coq-doc 6.3.1-2 (all source)
Installed:
coq-doc_6.3.1-2.diff.gz
to dists/potato/main/source/doc/coq-doc_6.3.1-2.diff.gz
replacing coq-doc_6.3.1-1.diff.gz
coq-doc_6.3.1-2.dsc
to dists/potato/main/source/doc/coq-doc_6.3.1-2.dsc
replacing coq-doc_6.3.1-1.dsc
coq-doc_6.3.1-2_all.deb
to dists/potato/main/binary-all/doc/coq-doc_6.3.1-2.deb
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Sat, 18 Dec 1999 12:43:48 +0100
Source: coq-doc
Binary: coq-doc
Architecture: source all
Version: 6.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Fernando Sanchez <fer@debian.org>
Description:
coq-doc - documentation for Coq package in ps and html formats
Closes: 52770
Changes:
coq-doc (6.3.1-2) unstable; urgency=low
.
* Changed Architecture field from 'any' to 'all' since this package only
contains documentation (closes: Bug#52770)
Files:
3900e2ae913bfd383a0f2203a600742b 826 doc optional coq-doc_6.3.1-2.dsc
71fa81583a62af63b35e27b8ec906019 2403 doc optional coq-doc_6.3.1-2.diff.gz
49eafb6382ad5dc497a8b6de5dda826a 1357362 doc optional coq-doc_6.3.1-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 5.0i for non-commercial use
Charset: noconv
iQEVAwUBOFuBEke61tg/7DnrAQH2Lgf/X9qujCbxB7/SsgtqrDIa1UYmzuNDywUZ
rK7m/8VHaSmd/HeWP8PyUEL9EqED5NTh/1Zcm0MhD1NkeQtC34fy5CY19axdHtHO
l0N7LgchZfvgVUri6RYt2y6WtVtNG65LlEhTd318/74tKNnCm33RTshFfpGE9S6+
3rfTIQSvsaXLBcQUTH059iGsKtAbHZ08bB5jWmXlPQA1/K+OAPq/snnyJun9XhuM
r/mB4GJ05USoM7tAtkHofQPpJNC2VHQN3oJH1kB1HOt1Vrs+K+vNwfcwUDnsSKSa
/b8EM0+PIQGaktDJ00fWcU+r8aR9bn3o6lU/XNQaSillng33/3onEg==
=zX/g
-----END PGP SIGNATURE-----