Ubuntu
coq-ext-lib package

There are currently no open bugs.

"coq-ext-lib" versions published in Ubuntu

Mantic (0.11.8-1build1): universe/misc
Lunar (0.11.7-2build2): universe/misc