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 <glo...@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-b...@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs -- universe-bugs mailing list universe-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/universe-bugs