Bugs : coq-doc package : Ubuntu

Ubuntu
coq-doc package

Overview
Code
Bugs
Blueprints
Translations
Answers

There are currently no open bugs.

Report a bug
Ask a question

New bugs
Open bugs
In-progress bugs
Critical bugs
High importance bugs
Bugs fixed elsewhere
Bugs with patches
Open CVE bugs

"coq-doc" versions published in Ubuntu

Noble (8.18.0-1): multiverse/doc
Mantic (8.17.1-1): multiverse/doc
Jammy (8.15.0-3): multiverse/doc
Focal (8.6-1): multiverse/doc
Bionic (8.6-1): multiverse/doc
Xenial (8.4pl4-2): multiverse/doc
Trusty (8.4pl2-1): multiverse/doc

Ubuntucoq-doc package

"coq-doc" versions published in Ubuntu

Ubuntu
coq-doc package