Ubuntu
coq package

coq source package in Edgy

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

Versions published

There is no current release of this source package in The Edgy Eft. 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 Edgy

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