8|sci-mathematics/alt-ergo|alt-ergo-2.4.3-r2.ebuild|CeCILL-C|ml@gentoo.org:sci-mathematics@gentoo.org