There are currently no open bugs.

"prover9-manual" versions published in Ubuntu

Zesty (0.0.200902a-2): universe/doc
Yakkety (0.0.200902a-2): universe/doc
Xenial (0.0.200902a-2): universe/doc
Vivid (0.0.200902a-2): universe/doc
Trusty (0.0.200902a-2): universe/doc
Precise (0.0.200902a-1): universe/doc