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 | Published | Component | Section | |
---|---|---|---|---|
Lunar | release | universe | editors | |
Jammy | release | universe | editors | |
Focal | release | universe | editors |
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 |
Available diffs
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.