8|dev-gap/browse|browse-1.8.21-r2.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/atlasrep|atlasrep-2.1.8.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/ctbllib|ctbllib-1.3.9.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/digraphs|digraphs-1.7.1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/io|io-4.8.2-r1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/orb|orb-4.9.0-r1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/semigroups|semigroups-5.3.7.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/genss|genss-1.6.8.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
7|dev-libs/gf2x|gf2x-1.3.0-r1.ebuild|GPL-2+:GPL-3+|sci-mathematics@gentoo.org
8|dev-python/conway-polynomials|conway-polynomials-0.9.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-python/lrcalc|lrcalc-2.1-r1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-python/pplpy|pplpy-0.8.10.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-libs/libsemigroups|libsemigroups-2.7.3.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/coq-serapi|coq-serapi-0.19.0.ebuild|GPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/giac|giac-1.9.0.93.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gappa|gappa-1.4.1.ebuild|CeCILL-2:GPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/gappa|gappa-1.4.2.ebuild|CeCILL-2:GPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/pspp|pspp-1.6.2-r2.ebuild|FDL-1.3+:GPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/verifpal|verifpal-0.27.0.ebuild|GPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/yices2|yices2-2.6.4-r1.ebuild|GPL-3+|sci-mathematics@gentoo.org