There are currently no open bugs.
"proofgeneral" versions published in Ubuntu
Noble
(4.5-1):
universe/editors
Mantic (4.5-1): 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
Mantic (4.5-1): 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
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
73416ba
(Get the code!)