Ubuntu
dh-coq package

There are currently no open bugs.

"dh-coq" versions published in Ubuntu

Noble (0.8): universe/misc
Mantic (0.6): universe/misc