proofgeneral 4.3~pre131011-0.2 source package in Ubuntu
Changelog
proofgeneral (4.3~pre131011-0.2) unstable; urgency=medium * Non-maintainer upload. * Remove {build,runtime} alternative dependencies on emacs23*: Emacs 23 is not in testing/sid anymore, and sbuild always picks the first alternative, which made the package FTBFS (Closes: #768619). -- intrigeri <email address hidden> Sun, 16 Nov 2014 17:46: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 | |
---|---|---|---|---|
Xenial | release | universe | editors |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
proofgeneral_4.3~pre131011-0.2.dsc | 1.9 KiB | 2513cfb94a9ab53e39caa6ea2f9772f10a6024398a4b938353162b2806a0f394 |
proofgeneral_4.3~pre131011.orig.tar.xz | 11.1 MiB | def0e120d99b4409fc95e6fa75afdf22475ebc65934ea89e0902819353748897 |
proofgeneral_4.3~pre131011-0.2.debian.tar.xz | 19.0 KiB | 80a6c72d5966c261065e9732aa2b649284ccc71ffd26ae01cab4d5991196f2ba |
Available diffs
- diff from 4.3~pre131011-0.1 to 4.3~pre131011-0.2 (792 bytes)
No changes file available.
Binary packages built by this source
- proofgeneral: No summary available for proofgeneral in ubuntu vivid.
No description available for proofgeneral in ubuntu vivid.
- 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.