There are currently no open bugs.
"frama-c" versions published in Ubuntu
Hirsute
(20201209+titanium-4.1):
universe/math
Groovy (20200625+scandium-2build1): universe/math
Focal (20191204+calcium-0.1): 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
Groovy (20200625+scandium-2build1): universe/math
Focal (20191204+calcium-0.1): 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-2021
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
rfc09074
(Get the code!)