Source Package: proofgeneral (3.7-4)
Links for proofgeneral
Debian Resources:
Maintainer:
External Resources:
- Homepage [proofgeneral.inf.ed.ac.uk]
The following binary packages are built from this source package:
- proofgeneral
- generic interface for proof assistants - common package
- proofgeneral-coq
- generic interface for proof assistants - coq support
- proofgeneral-doc
- generic interface for proof assistants - documentation
- proofgeneral-minlog
- generic interface for proof assistants - Minlog support
- proofgeneral-misc
- generic interface for proof assistants - theorem provers support
Other Packages Related to proofgeneral
|
|
-
- adep: debhelper (>= 7)
- helper programs for debian/rules
-
- adep: po-debconf
- tool for managing templates file translations with gettext
Download proofgeneral
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| proofgeneral_3.7-4.dsc | 1.7 kB | de8affaf3c478625914ae5e5b63eb0f3 |
| proofgeneral_3.7.orig.tar.gz | 1,935.7 kB | c922c2d591812ce417b72c13259ef4ad |
| proofgeneral_3.7-4.diff.gz | 24.0 kB | 0648fa3f0e88a89230a4ba91de44cbc3 |