7|sci-mathematics/frama-c-reduc|frama-c-reduc-25.0.ebuild|LGPL-2.1|maintainer-needed@gentoo.org