11 of 1 result
Undecided
New
11 of 1 result

"coq-doc" versions published in Ubuntu

Kinetic-proposed (8.15.1-1): multiverse/doc
Kinetic (8.15.0-3): multiverse/doc
Jammy (8.15.0-3): multiverse/doc
Impish (8.6-1): 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