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-----