Ubuntu

Bugs : eprover in Ubuntu

There are currently no open bugs.

"eprover" versions published in Ubuntu

Lucid (1.0.004-1ubuntu1): universe/science