There are currently no open bugs.

"eprover" versions published in Ubuntu

Oracular (3.2.0+ds-1): universe/misc
Noble (3.0.03+ds-1): universe/misc