Ubuntu
coq-reglang package

There are currently no open bugs.

"coq-reglang" versions published in Ubuntu

Mantic (1.1.3-4build1): universe/misc
Lunar (1.1.3-2build2): universe/misc