There are currently no open bugs.

"prooftree" versions published in Ubuntu

Kinetic (0.13-2build4): universe/misc
Jammy (0.13-2build4): universe/misc
Focal (0.13-1build9): universe/misc
Bionic (0.13-1build3): universe/misc
Xenial (0.12-2build1): universe/misc
Trusty (0.12-1build1): universe/misc