Log in / Register
Ubuntu
frama-c package
Overview
Code
Bugs
Blueprints
Translations
Answers
Advanced search
There are currently no open bugs.
Report a bug
Ask a question
New bugs
Open bugs
In-progress bugs
Critical bugs
High importance bugs
Bugs fixed elsewhere
Bugs with patches
Open CVE 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
Show more tags…
Show fewer tags…