-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 28 Apr 2006 18:52:06 +0200 Source: coq-doc Binary: coq-doc-pdf coq-doc-html coq-doc Architecture: source all Version: 8.0pl3+8.1alpha-1 Distribution: experimental 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: 266019 294865 Changes: coq-doc (8.0pl3+8.1alpha-1) experimental; urgency=low . * The licensing issue is now solved. The new licence is OPL which is not DFSG-compatible. We're moving to non-free, closes: #294865. * Updated the copyright file. * Split coq-doc into -html and -pdf, closes: #266019. * Using dpatch for handling patches. * Updated standards version to 3.6.2, no changes needed. Files: be8d6a297e7304a79f920ff24d90b898 689 non-free/doc optional coq-doc_8.0pl3+8.1alpha-1.dsc 32f9027193774f46352fa90b61664cb3 488159 non-free/doc optional coq-doc_8.0pl3+8.1alpha.orig.tar.gz b2cf653e22554bfd16b5945af1a3ace3 7003 non-free/doc optional coq-doc_8.0pl3+8.1alpha-1.diff.gz ad220c138e0e6683407409c0cd14c7b4 5140 non-free/doc optional coq-doc_8.0pl3+8.1alpha-1_all.deb fbc370de0ddf67da656f7b3c176ad317 340522 non-free/doc optional coq-doc-html_8.0pl3+8.1alpha-1_all.deb 5846e476e01672522bdda85e77db456b 1630696 non-free/doc optional coq-doc-pdf_8.0pl3+8.1alpha-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEU53UIae1O4AJae8RAo6jAJ9KtQbBLNbGy0q9fW0XtUregRzgiQCfRgtG ECsMWVM3zqsAEytFjGkksLU= =oRhV -----END PGP SIGNATURE----- Accepted: coq-doc-html_8.0pl3+8.1alpha-1_all.deb to pool/non-free/c/coq-doc/coq-doc-html_8.0pl3+8.1alpha-1_all.deb coq-doc-pdf_8.0pl3+8.1alpha-1_all.deb to pool/non-free/c/coq-doc/coq-doc-pdf_8.0pl3+8.1alpha-1_all.deb coq-doc_8.0pl3+8.1alpha-1.diff.gz to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-1.diff.gz coq-doc_8.0pl3+8.1alpha-1.dsc to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-1.dsc coq-doc_8.0pl3+8.1alpha-1_all.deb to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-1_all.deb coq-doc_8.0pl3+8.1alpha.orig.tar.gz to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha.orig.tar.gz