Ubuntu
proofgeneral package

proofgeneral 4.3~pre130510-1.1 source package in Ubuntu

Changelog

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

Upload details

Uploaded by:
Hendrik Tews
Uploaded to:
Sid
Original maintainer:
Hendrik Tews
Architectures:
all
Section:
editors
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release universe editors

Builds

Trusty: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
proofgeneral_4.3~pre130510-1.1.dsc 2.0 KiB c041d9f1a3fb4f3c0557bc7aadeca9f6fa806c0cac6909d5f4c70f852b42a47c
proofgeneral_4.3~pre130510.orig.tar.gz 1023.1 KiB 0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 18.7 KiB a111996fea125027cb347af14cc5ba609c5d754c5c37e671b96634df70045f6b

No changes file available.

Binary packages built by this source

proofgeneral: generic frontend for proof assistants

 Proof General is a major mode to turn Emacs into an interactive proof
 assistant to write formal mathematical proofs using a variety of
 theorem provers.
 .
 This package provides Proof General support for Coq. (There is no
 other proof assistant that one could sensibly support.)

proofgeneral-doc: generic frontend for proof assistants - documentation

 Proof General is a major mode to turn Emacs into an interactive proof
 assistant to write formal mathematical proofs using a variety of
 theorem provers.
 .
 This package provides the Proof General user manual in info, html and
 pdf form.