Ubuntu
paramcoq package

There are currently no open bugs.

"paramcoq" versions published in Ubuntu

Noble (1.1.3+coq8.18-1build2): universe/misc
Mantic (1.1.3+coq8.17-2): universe/misc