Ubuntu
paramcoq package

There are currently no open bugs.

"paramcoq" versions published in Ubuntu

Mantic (1.1.3+coq8.17-2): universe/misc
Lunar (1.1.3+coq8.16-3build2): universe/misc