8|dev-cpp/muParser|dev-cpp/muParser-2.3.4-r1|2.3.5|sci-mathematics@gentoo.org
8|dev-gap/semigroups|dev-gap/semigroups-5.5.0-r1|5.5.4|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/elpi|dev-lang/elpi-1.19.6-r1|2.0.7|ml@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/R|dev-lang/R-4.4.3|4.5.0|sci-mathematics@gentoo.org
8|dev-python/bottleneck|dev-python/bottleneck-1.5.0|1.6.0|sci-mathematics@gentoo.org:python@gentoo.org
8|dev-python/mpmath|dev-python/mpmath-1.4.0_alpha6|1.4.0_alpha7|grozin@gentoo.org:sci-mathematics@gentoo.org:python@gentoo.org
8|dev-python/patsy|dev-python/patsy-1.0.1-r1|1.0.2|sci-mathematics@gentoo.org:python@gentoo.org
8|dev-python/pywavelets|dev-python/pywavelets-1.8.0|1.9.0|sci-mathematics@gentoo.org:python@gentoo.org
8|media-gfx/netgen|media-gfx/netgen-6.2.2406-r1|6.2.2501-r1,6.2.2505|sci-mathematics@gentoo.org:negril.nx+gentoo@gmail.com
8|media-gfx/netgen|media-gfx/netgen-6.2.2501-r1|6.2.2505|sci-mathematics@gentoo.org:negril.nx+gentoo@gmail.com
8|sci-libs/dmlc-core|sci-libs/dmlc-core-0_p20170719-r1|0.5|sci-mathematics@gentoo.org
8|sci-libs/libsemigroups|sci-libs/libsemigroups-2.7.4|3.0.3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
7|sci-mathematics/4ti2|sci-mathematics/4ti2-1.6.7-r1|1.6.10|sci-mathematics@gentoo.org
8|sci-mathematics/acl2|sci-mathematics/acl2-8.5_p20240307-r1|8.6|sci-mathematics@gentoo.org
7|sci-mathematics/bertini|sci-mathematics/bertini-1.4|1.6|sci-mathematics@gentoo.org
8|sci-mathematics/cadabra|sci-mathematics/cadabra-2.4.5.6|2.4.5.7|sci-mathematics@gentoo.org
8|sci-mathematics/cadical|sci-mathematics/cadical-1.9.5|2.0.0|sci-mathematics@gentoo.org
8|sci-mathematics/cgal|sci-mathematics/cgal-5.6.1|6.0,6.0.1,6.1|sci-mathematics@gentoo.org
8|sci-mathematics/cgal|sci-mathematics/cgal-5.6|6.0,6.0.1|sci-mathematics@gentoo.org
8|sci-mathematics/cgal|sci-mathematics/cgal-6.0|6.0.1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|sci-mathematics/coq-8.17.1-r1|8.19.2-r1,8.20.0-r1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|sci-mathematics/coq-8.19.2-r1|8.20.0-r1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|sci-mathematics/coq-9.0.0|9.1.0-r1|sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|sci-mathematics/easycrypt-2025.10|2025.11|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/eprover|sci-mathematics/eprover-3.0.03|3.2.5|sci-mathematics@gentoo.org
8|sci-mathematics/form|sci-mathematics/form-4.3.1|5.0.0_beta1|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|sci-mathematics/gappalib-coq-1.5.2-r1|1.5.3|sci-mathematics@gentoo.org
8|sci-mathematics/gappa|sci-mathematics/gappa-1.4.1|1.4.2|sci-mathematics@gentoo.org
8|sci-mathematics/gimps|sci-mathematics/gimps-30.19.14|30.19.20|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org
8|sci-mathematics/gimps|sci-mathematics/gimps-30.8.15|30.19.20|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org
8|sci-mathematics/gimps|sci-mathematics/gimps-30.8.17|30.19.20|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org
8|sci-mathematics/mathmod|sci-mathematics/mathmod-12.1|13.0|sci-mathematics@gentoo.org
8|sci-mathematics/maxima|sci-mathematics/maxima-5.48.1|5.48.1-r1|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/normaliz|sci-mathematics/normaliz-3.9.3|3.10.1|sci-mathematics@gentoo.org
8|sci-mathematics/opensmt|sci-mathematics/opensmt-2.7.0|2.9.2|sci-mathematics@gentoo.org
8|sci-mathematics/pari|sci-mathematics/pari-2.15.5|2.17.1|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|sci-mathematics/petsc-3.22.2|3.23.3,3.23.4|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|sci-mathematics/petsc-3.23.3|3.23.4|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/polymake|sci-mathematics/polymake-4.13|4.15|sci-mathematics@gentoo.org
8|sci-mathematics/polymake|sci-mathematics/polymake-4.14|4.15|sci-mathematics@gentoo.org
8|sci-mathematics/proverif|sci-mathematics/proverif-2.04-r1|2.05|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/slepc|sci-mathematics/slepc-3.22.1|3.23.1|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/stp|sci-mathematics/stp-2.3.3-r3|2.3.4|jeffrey@icurse.nl:sci-mathematics@gentoo.org
8|sci-mathematics/topcom|sci-mathematics/topcom-0.17.8-r3|1.1.2|sci-mathematics@gentoo.org
7|sci-mathematics/unuran|sci-mathematics/unuran-1.8.1|1.9.0|sci-mathematics@gentoo.org
8|sci-mathematics/vampire|sci-mathematics/vampire-4.8|4.9|sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.6.0|1.7.2,1.8.0,1.8.1,1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.7.2|1.8.0,1.8.1,1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.8.0|1.8.1,1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.8.1|1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org