proofgeneral 4.4.1~pre170114-1.1ubuntu1 source package in Ubuntu
Changelog
proofgeneral (4.4.1~pre170114-1.1ubuntu1) eoan; urgency=medium
* Build-depend on texlive-plain-generic instead of obsolete texlive-
generic-recommended.
-- Steve Langasek <email address hidden> Tue, 01 Oct 2019 14:38:55 -0700
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Eoan
- Original maintainer:
- Ubuntu Developers
- Architectures:
- all
- Section:
- editors
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| proofgeneral_4.4.1~pre170114.orig.tar.xz | 8.9 MiB | bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d |
| proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz | 19.5 KiB | 863d2ed5d13ff3b5b389b8da920c83d242e9fb23dd3401e83bd82694cad8b56b |
| proofgeneral_4.4.1~pre170114-1.1ubuntu1.dsc | 2.1 KiB | 0cb43a9b5da921683c49180d68956c4f6e932e6fb3bc1a0ca9223e23d3a3a7b9 |
Available diffs
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.
