8|dev-gap/grape|grape-4.9.0.ebuild|Apache-2.0:GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
7|media-fonts/jsmath|jsmath-1.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org
7|media-fonts/jsmath-extra-dark|jsmath-extra-dark-1.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-libs/dmlc-core|dmlc-core-0_p20170719-r1.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-libs/dmlc-core|dmlc-core-0.5.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-mathematics/cubicle|cubicle-1.2.0-r2.ebuild|Apache-2.0|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/lean|lean-3.51.1.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-mathematics/kind2|kind2-1.9.0.ebuild|Apache-2.0|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/lean|lean-4.2.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-mathematics/nauty|nauty-2.8.8.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-mathematics/mathlib-tools|mathlib-tools-1.3.2_p1.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-mathematics/nauty|nauty-2.8.8-r1.ebuild|Apache-2.0|sci-mathematics@gentoo.org
8|sci-mathematics/psmt2-frontend|psmt2-frontend-0.4.0.ebuild|Apache-2.0|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/yacas|yacas-1.9.1-r1.ebuild|Apache-2.0:GPL-2:MIT:OFL-1.1|sci-mathematics@gentoo.org