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.20.0.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/fricas|fricas-1.3.11-r3.ebuild|grozin@gentoo.org: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 8|sci-mathematics/maxima|maxima-5.47.0-r1.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/petsc|petsc-3.21.3.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.22.2.ebuild|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/polymake|polymake-4.11.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/polymake|polymake-4.13.ebuild|sci-mathematics@gentoo.org