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
