[Bug 508116] [NEW] Sync coq-doc 8.2pl1-1 (multiverse) from Debian sid (non-free)

[Benjamin Drung]

Public bug reported:

Please sync coq-doc 8.2pl1-1 (multiverse) from Debian sid (non-free). It
builds fine in pbuilder on amd64. It will fix bug #460498 and probably
#200073.

Changelog entries since current lucid version 8.1-3:

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.

 -- Stéphane Glondu <glondu at debian.org>  Thu, 07 Jan 2010 22:50:39 +0100

** Affects: coq-doc (Ubuntu)
     Importance: Wishlist
         Status: Confirmed

** Changed in: coq-doc (Ubuntu)
   Importance: Undecided => Wishlist

** Changed in: coq-doc (Ubuntu)
       Status: New => Confirmed

-- 
Sync coq-doc 8.2pl1-1 (multiverse) from Debian sid (non-free)
https://bugs.launchpad.net/bugs/508116
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs