There are currently no open bugs.

"prooftree" versions published in Ubuntu

Eoan (0.13-1build3): universe/misc
Disco (0.13-1build3): universe/misc
Cosmic (0.13-1build3): universe/misc
Bionic (0.13-1build3): universe/misc
Xenial (0.12-2build1): universe/misc
Trusty (0.12-1build1): universe/misc