8|sci-mathematics/abc|abc-9999.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/alt-ergo|alt-ergo-9999.ebuild|ml@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/fann|fann-9999.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/proverif|proverif-9999.ebuild|ml@gentoo.org:sci-mathematics@gentoo.org