Ubuntu
coq-hammer package

There are currently no open bugs.

"coq-hammer" versions published in Ubuntu

Oracular (1.3.2+8.19-1build2): universe/misc
Noble (1.3.2+8.18-1build3): universe/misc