[ubuntu/lucid] coq-doc 8.2pl1-1 (Accepted)

[Ubuntu Installer]

coq-doc (8.2pl1-1) unstable; urgency=low

  [ Stéphane Glondu ]
  * New upstream release (Closes: #563669)
    - remove patches
  * Packaging overhaul:
    - use git, advertise it in Vcs-* fields of debian/control
    - use debhelper 7 and dh with override
    - use source format 3.0 (quilt)
  * debian/control:
    - set Maintainer to d-o-m, set Uploaders to Sam and myself
    - add Homepage field
    - bump Standards-Version to 3.8.3
  * Register PDF documentation into doc-base
  * Add debian/watch
  * Update debian/copyright

  [ Samuel Mimram ]
  * Change coq-doc's description to mention that it provides documentation in
    pdf format, not postscript, closes: #543545.

Date: Mon,  18 Jan 2010 05:48:20 +0000
Changed-By: Benjamin Drung <benjamin.drung at gmail.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/coq-doc/8.2pl1-1
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Mon,  18 Jan 2010 05:48:20 +0000
Source: coq-doc
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Architecture: source
Version: 8.2pl1-1
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Benjamin Drung <benjamin.drung at gmail.com>
Description: 
 coq-doc    - documentation for Coq
Closes: 543545 563669
Changes: 
 coq-doc (8.2pl1-1) unstable; urgency=low
 .
   [ Stéphane Glondu ]
   * New upstream release (Closes: #563669)
     - remove patches
   * Packaging overhaul:
     - use git, advertise it in Vcs-* fields of debian/control
     - use debhelper 7 and dh with override
     - use source format 3.0 (quilt)
   * debian/control:
     - set Maintainer to d-o-m, set Uploaders to Sam and myself
     - add Homepage field
     - bump Standards-Version to 3.8.3
   * Register PDF documentation into doc-base
   * Add debian/watch
   * Update debian/copyright
 .
   [ Samuel Mimram ]
   * Change coq-doc's description to mention that it provides documentation in
     pdf format, not postscript, closes: #543545.
Files: 
 7b1ebe3c5a2766acef0e07fbbdb91003 2103 non-free/doc optional coq-doc_8.2pl1-1.dsc
 36eed48bc63ada8abf27f96eb126906c 3600620 non-free/doc optional coq-doc_8.2pl1.orig.tar.gz
 6691df945a9bed7b78e0401fd05554f5 8584 non-free/doc optional coq-doc_8.2pl1-1.debian.tar.gz