11 of 1 result
Undecided
New
11 of 1 result

"coq-doc" versions published in Ubuntu

Disco (8.6-1): multiverse/doc
Cosmic (8.6-1): multiverse/doc
Bionic (8.6-1): multiverse/doc
Xenial (8.4pl4-2): multiverse/doc
Trusty (8.4pl2-1): multiverse/doc
Precise (8.3pl2-1build1): multiverse/doc