-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sat, 14 Apr 2007 18:24:43 +0200 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.1-3 Distribution: unstable Urgency: low Maintainer: Samuel Mimram <smimram@debian.org> Changed-By: Samuel Mimram <smimram@debian.org> Description: coq-doc - documentation for Coq in html format coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Closes: 420591 Changes: coq-doc (8.1-3) unstable; urgency=low . * Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591. Files: 31df864df9f763399fdf264d9762f7e6 906 non-free/doc optional coq-doc_8.1-3.dsc 4ddca8d6afc7b71eeea9c812cf7db37c 7811 non-free/doc optional coq-doc_8.1-3.diff.gz 7acd4edac342eb7db5a65900e08fe65f 5530 non-free/doc optional coq-doc_8.1-3_all.deb 0593684729998530469b661eef6b6537 437244 non-free/doc optional coq-doc-html_8.1-3_all.deb 444255fd4cd219f0345893eb6165a8da 1692422 non-free/doc optional coq-doc-pdf_8.1-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGLQ72Iae1O4AJae8RAuGyAJ9ofmfg8PTO8VupyQs+XABvxFh8agCeK03t Y1TB3JynU492czG62v9FQ6E= =/BT7 -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.1-3_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.1-3_all.deb coq-doc-pdf_8.1-3_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.1-3_all.deb coq-doc_8.1-3.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.1-3.diff.gz coq-doc_8.1-3.dsc to pool/non-free/c/coq-doc/coq-doc_8.1-3.dsc coq-doc_8.1-3_all.deb to pool/non-free/c/coq-doc/coq-doc_8.1-3_all.deb