UbuntuUpdates.org

Package "proofgeneral"

Name: proofgeneral

Description:

generic frontend for proof assistants
Latest version: 4.3~pre130510-1.1
Release: trusty (14.04)
Level: base
Repository: universe
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"

All arch deb package
APT INSTALL

Other versions of "proofgeneral" in Trusty

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

Packages in group

Deleted packages are displayed in grey.


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