7|sci-mathematics/frama-c-reduc|frama-c-reduc-25.0.ebuild|toolchain-funcs:autotools:findlib|maintainer-needed@gentoo.org