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