There are currently no open bugs.
"frama-c" versions published in Ubuntu
Kinetic-proposed
(20211203-chromium-1):
universe/devel
Impish (20201209+titanium-4.1): 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
Impish (20201209+titanium-4.1): 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
© 2004-2022
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
ra6d83bd
(Get the code!)