UbuntuUpdates.org

Package "proofgeneral-doc"

Name: proofgeneral-doc

Description:

generic frontend for proof assistants - documentation
Latest version: 4.3~pre130510-1.1
Release: trusty (14.04)
Level: base
Repository: universe
Head package: proofgeneral
Homepage: http://proofgeneral.inf.ed.ac.uk

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "proofgeneral-doc"

All arch deb package
APT INSTALL

Other versions of "proofgeneral-doc" in Trusty

No other version of this package is available in the Trusty release.

Changelog

Version: 4.3~pre130510-1.1 2014-02-28 14:06:42 UTC

  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

 -- Hideki Yamane <email address hidden> Sat, 15 Feb 2014 19:57:15 +0900
738392 proofgeneral: FTBFS: Latex errors - Debian Bug report logs


About   -   Send Feedback to @ubuntu_updates