Back to coq-doc PTS page

Accepted coq-doc 8.0pl3+8.1alpha-1 (source all)



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