There are currently no open bugs.
"frama-c" versions published in Ubuntu
Focal
(20171101+sulfur+dfsg-2build2):
universe/math
Eoan (20171101+sulfur+dfsg-2build2): universe/math
Disco (20171101+sulfur+dfsg-2): universe/math
Bionic (20170501+phosphorus+dfsg-2build1): universe/math
Xenial (20151002+magnesium+dfsg-1build1): universe/math
Trusty (20130601+fluorine3+dfsg-2build1): universe/math
Precise (20111001+nitrogen+dfsg-3): universe/math
Eoan (20171101+sulfur+dfsg-2build2): universe/math
Disco (20171101+sulfur+dfsg-2): universe/math
Bionic (20170501+phosphorus+dfsg-2build1): universe/math
Xenial (20151002+magnesium+dfsg-1build1): universe/math
Trusty (20130601+fluorine3+dfsg-2build1): universe/math
Precise (20111001+nitrogen+dfsg-3): universe/math
© 2004-2019
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
rc597c32
(Get the code!)