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