Accepted coq-doc 8.1-3 (source all)
-----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