Ubuntu
eprover package

There are currently no open bugs.

"eprover" versions published in Ubuntu

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