There are currently no open bugs.

"proofgeneral" versions published in Ubuntu

Lunar (4.4.1~pre170114-1.2): universe/editors
Kinetic (4.4.1~pre170114-1.2): universe/editors
Jammy (4.4.1~pre170114-1.2): universe/editors
Focal (4.4.1~pre170114-1.2): universe/editors
Bionic (4.4.1~pre170114-1): universe/editors
Xenial (4.3~pre131011-0.2): universe/editors
Trusty (4.3~pre130510-1.1): universe/editors