» Ubuntu » Packages » precise (12.04LTS) » Source » editors » proofgeneral
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

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

Links for proofgeneral

Ubuntu Resources:

Maintainer:

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:
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

  • 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