gentoo.mahdi.cz
sci-mathematics
:frama-c-reduc
frama-c plugin to generate ACSL annotations from Eva information
https://frama-c.com
frama-c-reduc-25.0
LGPL-2.1
download
~amd64
guru