Ubuntu
proofgeneral package

proofgeneral 4.4.1~pre170114-1.2 source package in Ubuntu

Changelog

proofgeneral (4.4.1~pre170114-1.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Build-depend on texlive-plain-generic instead of
    texlive-generic-recommended. Thanks to Steve Langasek for
    patch. (Closes: #941544)

 -- Gard Spreemann <email address hidden>  Mon, 16 Dec 2019 17:50:59 +0100

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
Lunar release universe editors
Jammy release universe editors
Focal release universe editors

Builds

Focal: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
proofgeneral_4.4.1~pre170114-1.2.dsc 1.9 KiB c466855c5f38e46b3b8eed4cd8e83817ce16de4a6330c8d2fc8503d7f8a4d05a
proofgeneral_4.4.1~pre170114.orig.tar.xz 8.9 MiB bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19.4 KiB 184d07cc7aaa1dc58928b30639668d87d996c64c1e508f4f7259613acc298cd5

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: No summary available for proofgeneral-doc in ubuntu kinetic.

No description available for proofgeneral-doc in ubuntu kinetic.