Balík: proofgeneral-coq (3.7-4) [universe]

Odkazy pre proofgeneral-coq

Zdroje Ubuntu:

• Hlásenia chýb
• Záznam zmien Ubuntu
• Autori a licencia

Stiahnuť zdrojový balík proofgeneral:

• [proofgeneral_3.7-4.dsc]
• [proofgeneral_3.7.orig.tar.gz]
• [proofgeneral_3.7-4.diff.gz]

Správca:

• Ubuntu MOTU Developers (Konferencia)

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.

Externé zdroje:

• Domovská stránka [proofgeneral.inf.ed.ac.uk]

Podobné balíky:

• proofgeneral-minlog
• proofgeneral-misc
• proofgeneral
• proofgeneral-doc
• coq
• coqide
• why
• agda-bin
• why-examples
• haskell-agda-doc
• libghc6-agda-dev

Ostatné balíky súvisiace s balíkom proofgeneral-coq

• dep: proofgeneral

  generic interface for proof assistants - common package

• rec: coq

  proof assistant for higher-order logic (toplevel and compiler)

Stiahnuť proofgeneral-coq