» Ubuntu » Packages » precise (12.04LTS) » Source » editors » proofgeneral
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ] [  zesty  ]

Source Package: proofgeneral (3.7-4) [universe]

Links for proofgeneral

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Debian QA Group

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
generic interface for proof assistants - common package
generic interface for proof assistants - coq support
generic interface for proof assistants - documentation
generic interface for proof assistants - Minlog support
generic interface for proof assistants - theorem provers support

Other Packages Related to proofgeneral

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7)
    helper programs for debian/rules
  • adep: po-debconf
    tool for managing templates file translations with gettext

Download proofgeneral

FileSize (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