There are currently no open bugs.
"proofgeneral" versions published in Ubuntu
Questing
(4.5-3):
universe/editors
Plucky (4.5-3): universe/editors
Oracular (4.5-1): universe/editors
Noble (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
Plucky (4.5-3): universe/editors
Oracular (4.5-1): universe/editors
Noble (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
•
e76edd8
(Get the code!)