There are currently no open bugs.

"prover9-manual" versions published in Ubuntu

Bionic (0.0.200902a-2): universe/doc
Artful (0.0.200902a-2): universe/doc
Zesty (0.0.200902a-2): universe/doc
Xenial (0.0.200902a-2): universe/doc
Trusty (0.0.200902a-2): universe/doc
Precise (0.0.200902a-1): universe/doc