proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium
* Non-maintainer upload.
* debian/control
- add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
(Closes: #738392)
- remove unnecessary "Build-Depends: texi2html" due to transtion
(see https://wiki.debian.org/Texi2htmlTransition)
* debian/patches
- add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
* also update debian/proofgeneral-doc.doc-base to deal with changes with
above
Date: 2014-02-25 16:20:04.157349+00:00
Signed-By: Colin Watson <[email protected]>
https://launchpad.net/ubuntu/trusty/+source/proofgeneral/4.3~pre130510-1.1
Sorry, changesfile not available.
--
Trusty-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/trusty-changes
