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

Mantic (8.17.1-1): multiverse/doc
Lunar (8.16.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