There are currently no open bugs.

"proofgeneral" versions published in Ubuntu

Eoan (4.4.1~pre170114-1.1): universe/editors
Disco (4.4.1~pre170114-1): 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
Precise (3.7-4): universe/editors