There are currently no open bugs.

"prooftree" versions published in Ubuntu

Impish (0.13-2build3): universe/misc
Hirsute (0.13-2build3): universe/misc
Groovy (0.13-2): 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