Accepted coq-doc 8.1-3 (source)

[Ubuntu Installer]

Accepted:
 OK: coq-doc_8.1.orig.tar.gz
 OK: coq-doc_8.1-3.diff.gz
 OK: coq-doc_8.1-3.dsc
     -> Component: universe Section: doc

Origin: Debian/unstable
Format: 1.7
Date: Sat,  28 Apr 2007 17:49:41 +0100
Source: coq-doc
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Architecture: source
Version: 8.1-3
Distribution: gutsy
Urgency: low
Maintainer: Samuel Mimram <smimram at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <archive at ubuntu.com>
Description: 
 coq-doc    - documentation for Coq in html format
Closes: 266019 294865 366611 407117 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.
 .
 coq-doc (8.1-2) unstable; urgency=low
 .
   * Uploading to unstable.
 .
 coq-doc (8.1-1) experimental; urgency=low
 .
   * New upstream release.
   * Allow building with texlive in build-dependencies.
 .
 coq-doc (8.1~gamma-2) experimental; urgency=low
 .
   * Correctly install html documentation, closes: #407117.
 .
 coq-doc (8.1~gamma-1) experimental; urgency=low
 .
   * New upstream release.
   * Added faq-urldef.dpatch to workaround hevea bug #405994.
 .
 coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low
 .
   * New beta upstream release.
 .
 coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low
 .
   * Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat),
     closes: #366611.
   * Updated standards version to 3.7.2, no changes needed.
 .
 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: 
 795f1276134a97ff6b44f23a187aa2f5 505367 non-free/doc optional coq-doc_8.1.orig.tar.gz
 4ddca8d6afc7b71eeea9c812cf7db37c 7811 non-free/doc optional coq-doc_8.1-3.diff.gz
 31df864df9f763399fdf264d9762f7e6 906 non-free/doc optional coq-doc_8.1-3.dsc