8|app-emacs/pariemacs|pariemacs-3.14-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|app-portage/g-octave|g-octave-0.4.1-r8.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|dev-gap/alnuth|alnuth-3.2.1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/aclib|aclib-1.3.2.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/browse|browse-1.8.21-r2.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/cohomolo|cohomolo-1.6.11.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/atlasrep|atlasrep-2.1.8.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/cryst|cryst-4.1.27.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/cvec|cvec-2.8.1-r1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/digraphs|digraphs-1.7.1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/congruence|congruence-1.2.5.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/corelg|corelg-1.56.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/datastructures|datastructures-0.3.0-r1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/autodoc|autodoc-2022.10.20.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/ctbllib|ctbllib-1.3.9.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/factint|factint-1.6.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/gaplint|gaplint-1.2.1.ebuild|~amd64|mjo@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/autpgrp|autpgrp-1.11.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/crypting|crypting-0.10.4-r1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/edim|edim-1.3.7-r2.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/gapdoc|gapdoc-1.6.7.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/crisp|crisp-1.4.6.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/gbnp|gbnp-1.0.5.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/crystcat|crystcat-1.1.10.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/guava|guava-3.18.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/genss|genss-1.6.8.ebuild|~amd64|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|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/hecke|hecke-1.5.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/fga|fga-1.5.0.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/laguna|laguna-3.9.6.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/hapcryst|hapcryst-0.1.15.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/grape|grape-4.9.0.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/loops|loops-3.4.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/polenta|polenta-1.3.10.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/images|images-1.3.1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/quagroup|quagroup-1.8.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/nq|nq-2.5.10.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/liepring|liepring-2.8.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/mapclass|mapclass-1.4.6.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/radiroot|radiroot-2.9.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/design|design-1.7.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/liering|liering-2.4.2.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/semigroups|semigroups-5.3.7.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/crime|crime-1.6.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/sla|sla-1.5.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/irredsol|irredsol-1.4.4.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/polycyclic|polycyclic-2.16.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/resclasses|resclasses-4.7.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/primgrp|primgrp-3.4.4.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/hap|hap-1.62.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/qpa|qpa-1.35.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/polymaking|polymaking-0.8.7.ebuild|~amd64|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|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/liealgdb|liealgdb-2.2.1.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/utils|utils-0.84.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/toric|toric-1.9.5.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/smallgrp|smallgrp-1.5.3.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/spinsym|spinsym-1.5.2.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/singular|singular-2023.02.09.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/tomlib|tomlib-1.2.11.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/sonata|sonata-2.9.6.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/sophus|sophus-1.27.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-gap/transgrp|transgrp-3.6.5.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/elpi|elpi-1.17.0.ebuild|~amd64|ml@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/elpi|elpi-1.17.4.ebuild|~amd64|ml@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/R|R-4.3.2-r1.ebuild|~amd64:~arm64:~hppa:~ia64:~loong:~sparc:~x86:~amd64-linux:~x86-linux:~arm64-macos:~x64-macos|sci-mathematics@gentoo.org
8|dev-python/conway-polynomials|conway-polynomials-0.10.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-python/cvxopt|cvxopt-1.3.2.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org:python@gentoo.org
8|dev-python/oct2py|oct2py-5.6.0.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|dev-python/oct2py|oct2py-5.6.1.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|dev-python/octave-kernel|octave-kernel-0.35.1.ebuild|~amd64:~arm64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|dev-python/pywavelets|pywavelets-1.6.0.ebuild|~amd64:~arm64:~riscv:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org:python@gentoo.org
8|dev-python/pywavelets|pywavelets-1.5.0.ebuild|~amd64:~arm64:~riscv:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org:python@gentoo.org
7|media-fonts/jsmath-extra-dark|jsmath-extra-dark-1.0.ebuild|~amd64:~loong:~ppc:~riscv:~x86|sci-mathematics@gentoo.org
8|sci-libs/cddlib|cddlib-094m-r2.ebuild|~amd64:~arm:~ppc:~riscv:~x86:~amd64-linux:~x86-linux|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-libs/dmlc-core|dmlc-core-0.5.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|sci-libs/dmlc-core|dmlc-core-0_p20170719-r1.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
7|sci-libs/hypre|hypre-2.21.0.ebuild|~amd64:~arm:~arm64:~ppc:~ppc64:~riscv:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|sci-libs/libsemigroups|libsemigroups-2.7.3.ebuild|~amd64:~x86|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/acl2|acl2-8.5_p20240307.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/abc|abc-0_p20230313.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/alectryon|alectryon-1.4.0-r2.ebuild|~amd64|sci-mathematics@gentoo.org
8|sci-mathematics/btor2tools|btor2tools-1.0.0_pre20220518-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/acl2|acl2-8.5-r2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/boolector|boolector-3.2.3.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/bertini|bertini-1.4.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cadabra|cadabra-2.4.5.7.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/bertini|bertini-1.6.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cadabra|cadabra-2.4.5.6.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cadical|cadical-1.9.5.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cadical|cadical-1.9.4.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/coq-mathcomp|coq-mathcomp-1.19.0.ebuild|~amd64|sci-mathematics@gentoo.org
8|sci-mathematics/eprover|eprover-3.0_pre008.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cryptominisat|cryptominisat-5.11.15.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2024.01.ebuild|~amd64|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/form|form-4.3.1.ebuild|~amd64:~x86|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.3.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.2-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/flocq|flocq-4.1.1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/coq-serapi|coq-serapi-0.19.0.ebuild|~amd64|sci-mathematics@gentoo.org
8|sci-mathematics/giac|giac-1.9.0.93.ebuild|~amd64:~x86|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/fricas|fricas-1.3.9-r3.ebuild|~amd64:~x86|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2023.09.ebuild|~amd64|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/flocq|flocq-4.1.0-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/eprover|eprover-3.0.03.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/fricas|fricas-1.3.10.ebuild|~amd64:~x86|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gappa|gappa-1.4.1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/fann|fann-2.2.0-r1.ebuild|~amd64:~ppc:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/ginac|ginac-1.8.7-r2.ebuild|~amd64:~ppc:~x86:~amd64-linux:~x86-linux|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/cryptominisat|cryptominisat-5.11.21.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/cubicle|cubicle-1.2.0-r2.ebuild|~amd64:~x86|ml@gentoo.org:sci-mathematics@gentoo.org
7|sci-mathematics/geomview|geomview-1.9.5-r1.ebuild|~amd64:~ppc:~sparc:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/gappa|gappa-1.4.2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/gap|gap-4.13.0.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/form|form-5.0.0_beta1.ebuild|~amd64:~x86|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gretl|gretl-2021d.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|sci-mathematics/gsl-shell|gsl-shell-2.3.5.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/gimps|gimps-30.19.14.ebuild|-*:~amd64:~x86|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org
7|sci-mathematics/dataplot|dataplot-20131220.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org
8|sci-mathematics/mathlib-tools|mathlib-tools-1.3.2_p1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/gsl-shell|gsl-shell-2.3.2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/metamath|metamath-0.198.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/glpk|glpk-5.0-r2.ebuild|~alpha:~amd64:~arm:~arm64:~hppa:~ia64:~loong:~ppc:~ppc64:~riscv:~sparc:~x86:~amd64-linux:~x86-linux|robbat2@gentoo.org:mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/kind2|kind2-1.9.0.ebuild|~amd64|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/libpoly|libpoly-0.1.11.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/mathmod|mathmod-4.1-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/metamath-databases|metamath-databases-20220303.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/kissat|kissat-3.1.0.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/maxima|maxima-5.47.0.ebuild|~amd64:~ppc:~x86:~amd64-linux:~x86-linux|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/kissat|kissat-3.1.1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/octave-epstk|octave-epstk-2.4.ebuild|~amd64:~riscv:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/nestedsums|nestedsums-1.5.2-r1.ebuild|~amd64:~x86|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/nauty|nauty-2.8.8-r1.ebuild|~amd64:~arm:~riscv:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/proverif|proverif-2.05.ebuild|~amd64:~x86|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.17.1-r2.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/palp|palp-2.21.ebuild|~amd64|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.19.2-r1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/pari|pari-2.15.5.ebuild|~alpha:~amd64:~arm:~hppa:~mips:~ppc:~ppc64:~sparc:~x86:~amd64-linux:~x86-linux|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/rkward|rkward-0.7.5.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|kde@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/singular|singular-4.3.2_p16.ebuild|~amd64:~ppc:~riscv:~x86:~x86-linux|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.20.5-r1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.19.1-r1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/sha1-polyml|sha1-polyml-5.9.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.19.4-r1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/prover9|prover9-2009.11a-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/slepc|slepc-3.17.1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/slepc|slepc-3.19.1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/petsc|petsc-3.18.2-r1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/slepc|slepc-3.19.0.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/slepc|slepc-3.20.1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/proverif|proverif-2.04-r1.ebuild|~amd64:~x86|ml@gentoo.org:sci-mathematics@gentoo.org
7|sci-mathematics/petsc|petsc-3.16.0-r2.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/plfit|plfit-0.9.5.ebuild|~amd64:~x86|mjo@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/verifpal|verifpal-0.27.0.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/topcom|topcom-0.17.8-r3.ebuild|~amd64:~riscv:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/why3|why3-1.6.0.ebuild|~amd64|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/slepc|slepc-3.18.1.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/yices2|yices2-2.6.4-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-mathematics/slepc|slepc-3.16.0.ebuild|~amd64:~x86|tamiko@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/wxmaxima|wxmaxima-24.02.2.ebuild|~amd64:~ppc:~x86|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/stp|stp-2.3.3-r3.ebuild|~amd64:~x86|jeffrey@icurse.nl:sci-mathematics@gentoo.org
8|sci-mathematics/yacas|yacas-1.9.1-r1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/vampire|vampire-4.8.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/verit|verit-2021.06.2.ebuild|~amd64:~x86|sci-mathematics@gentoo.org
7|sci-visualization/zhu3d|zhu3d-4.2.6-r1.ebuild|~amd64:~x86:~amd64-linux:~x86-linux|sci-mathematics@gentoo.org