Ubuntu
coq-doc package

1 → 1 of 1 result First • Previous • Next • Last
Undecided
New
#460498 coq-doc won't build - unescaped backslashes in Makefile
coq-doc (Ubuntu) 6
1 → 1 of 1 result First • Previous • Next • Last

"coq-doc" versions published in Ubuntu

Resolute (8.20.0-2build1): multiverse/doc
Questing (8.20.0-2): multiverse/doc
Plucky (8.20.0-2): multiverse/doc
Noble (8.18.0-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