Ubuntu
coq package

coq source package in Feisty

coq: No summary available for coq in ubuntu edgy.
coq-libs: No summary available for coq-libs in ubuntu edgy.
coq7-libs: No summary available for coq7-libs in ubuntu edgy.
coqide: No summary available for coqide in ubuntu feisty.

Versions published

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

coq information

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

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 one of these projects the upstream for this source package?





Releases in Ubuntu