Ubuntu
proofgeneral package

proofgeneral source package in Karmic

proofgeneral: No summary available for proofgeneral in ubuntu karmic.
proofgeneral-coq: No summary available for proofgeneral-coq in ubuntu lucid.
proofgeneral-doc: No summary available for proofgeneral-doc in ubuntu karmic.
proofgeneral-minlog: No summary available for proofgeneral-minlog in ubuntu karmic.
proofgeneral-misc: No summary available for proofgeneral-misc in ubuntu lucid.

Versions published

There is no current release of this source package in The Karmic Koala. You can still report bugs, make translations, and so on, but they might not be used until the package is published.

proofgeneral information

No published releases of this package have been uploaded in Ubuntu Karmic

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

Is the following project the upstream for this source package?


Releases in Ubuntu