Ubuntu
eprover package

There are currently no open bugs.

"eprover" versions published in Ubuntu

Mantic (2.6+ds-3): universe/misc
Lunar (2.6+ds-3): universe/misc