8|dev-gap/transgrp|transgrp-3.6.5.ebuild|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|sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2023.09.ebuild|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/fricas|fricas-1.3.10.ebuild|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/fricas|fricas-1.3.9-r3.ebuild|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gsl-shell|gsl-shell-2.3.2.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/gsl-shell|gsl-shell-2.3.5.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/maxima|maxima-5.46.0-r1.ebuild|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/maxima|maxima-5.47.0.ebuild|grozin@gentoo.org:sci-mathematics@gentoo.org
7|sci-mathematics/petsc|petsc-3.16.0-r2.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.17.1-r2.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.18.2-r1.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.19.1-r1.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.19.2-r1.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.19.4-r1.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.20.5-r1.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/polymake|polymake-4.11.ebuild|sci-mathematics@gentoo.org