Ubuntu
coq-equations package

There are currently no open bugs.

"coq-equations" versions published in Ubuntu

Oracular (1.3-8.19-1build3): universe/misc
Noble (1.3-8.18-1build3): universe/misc
Mantic (1.3-8.17-2build2): universe/misc