Ubuntu
coq-equations package

There are currently no open bugs.

"coq-equations" versions published in Ubuntu

Mantic (1.3-8.17-2build2): universe/misc
Lunar (1.3-8.16-2build2): universe/misc