8|app-emacs/pariemacs|pariemacs-3.14-r1.ebuild|GPL-2|sci-mathematics@gentoo.org 8|app-portage/g-octave|g-octave-0.4.1-r8.ebuild|GPL-2|sci-mathematics@gentoo.org 8|dev-cpp/muParser|muParser-2.3.3-r2.ebuild|MIT|sci-mathematics@gentoo.org 8|dev-cpp/muParser|muParser-2.3.4-r1.ebuild|MIT|sci-mathematics@gentoo.org 8|dev-gap/aclib|aclib-1.3.2.ebuild|Artistic-2|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/alnuth|alnuth-3.2.1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/atlasrep|atlasrep-2.1.8.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/autodoc|autodoc-2022.10.20.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/autpgrp|autpgrp-1.11.ebuild|GPL-2+|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|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/cohomolo|cohomolo-1.6.11.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/congruence|congruence-1.2.6.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/corelg|corelg-1.56.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/crime|crime-1.6.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/crisp|crisp-1.4.6.ebuild|BSD-2|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|BSD|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/crystcat|crystcat-1.1.10.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/cryst|cryst-4.1.27.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/ctbllib|ctbllib-1.3.9.ebuild|GPL-3+|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|GPL-2+|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|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/design|design-1.7.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/digraphs|digraphs-1.7.1-r1.ebuild|GPL-3+|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|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/factint|factint-1.6.3.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/fga|fga-1.5.0.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/gapdoc|gapdoc-1.6.7.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/gaplint|gaplint-1.2.1.ebuild|GPL-3|mjo@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/gbnp|gbnp-1.0.5.ebuild|LGPL-2.1+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/genss|genss-1.6.8.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 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 8|dev-gap/guava|guava-3.19.ebuild|GPL-2:GPL-3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/hapcryst|hapcryst-0.1.15.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/hap|hap-1.62.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/hecke|hecke-1.5.3.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/images|images-1.3.1.ebuild|MPL-2.0|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|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/irredsol|irredsol-1.4.4.ebuild|BSD-2|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/laguna|laguna-3.9.6.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/liealgdb|liealgdb-2.2.1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/liepring|liepring-2.9.1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/liering|liering-2.4.2.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/loops|loops-3.4.3.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/mapclass|mapclass-1.4.6.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/nq|nq-2.5.10.ebuild|GPL-2+|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|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/polenta|polenta-1.3.10.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/polycyclic|polycyclic-2.16.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/polymaking|polymaking-0.8.7.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/primgrp|primgrp-3.4.4.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/qpa|qpa-1.35.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/quagroup|quagroup-1.8.3.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/radiroot|radiroot-2.9.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/resclasses|resclasses-4.7.3.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/semigroups|semigroups-5.3.7.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/singular|singular-2024.06.03.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/sla|sla-1.5.3.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/smallgrp|smallgrp-1.5.3.ebuild|Artistic-2|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/sonata|sonata-2.9.6.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/sophus|sophus-1.27.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/spinsym|spinsym-1.5.2.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/tomlib|tomlib-1.2.11.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/toric|toric-1.9.5.ebuild|MIT|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/transgrp|transgrp-3.6.5.ebuild|Artistic-2:GPL-3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-gap/utils|utils-0.84.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-lang/elpi|elpi-1.17.4.ebuild|LGPL-2.1+|ml@gentoo.org:sci-mathematics@gentoo.org 8|dev-lang/elpi|elpi-1.18.2.ebuild|LGPL-2.1+|ml@gentoo.org:sci-mathematics@gentoo.org 8|dev-lang/R|R-4.3.1-r1.ebuild|GPL-2:GPL-3:LGPL-2.1|sci-mathematics@gentoo.org 8|dev-lang/R|R-4.3.2-r1.ebuild|GPL-2:GPL-3:LGPL-2.1|sci-mathematics@gentoo.org 8|dev-lang/R|R-4.4.1.ebuild|GPL-2:GPL-3:LGPL-2.1|sci-mathematics@gentoo.org 8|dev-lang/R|R-4.4.2.ebuild|GPL-2:GPL-3:LGPL-2.1|sci-mathematics@gentoo.org 7|dev-libs/gf2x|gf2x-1.3.0-r1.ebuild|GPL-2+:GPL-3+|sci-mathematics@gentoo.org 8|dev-libs/ntl|ntl-11.5.1-r4.ebuild|LGPL-2.1+|sci-mathematics@gentoo.org 8|dev-python/bottleneck|bottleneck-1.4.2.ebuild|BSD|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/conway-polynomials|conway-polynomials-0.10.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/cvxopt|cvxopt-1.3.2.ebuild|GPL-3|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/cypari2|cypari2-2.1.4-r1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/cypari2|cypari2-2.2.0.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/cysignals|cysignals-1.11.4-r1.ebuild|LGPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/fpylll|fpylll-0.6.1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/lrcalc|lrcalc-2.1-r1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/memory-allocator|memory-allocator-0.1.4.ebuild|GPL-3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/mpmath|mpmath-1.4.0_alpha2.ebuild|BSD|grozin@gentoo.org:sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/oct2py|oct2py-5.7.1.ebuild|MIT|sci-mathematics@gentoo.org 8|dev-python/oct2py|oct2py-5.7.2.ebuild|MIT|sci-mathematics@gentoo.org 8|dev-python/octave-kernel|octave-kernel-0.35.1.ebuild|BSD|sci-mathematics@gentoo.org 8|dev-python/patsy|patsy-0.5.6-r2.ebuild|BSD|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/patsy|patsy-1.0.1.ebuild|BSD|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/pplpy|pplpy-0.8.10.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/primecountpy|primecountpy-0.1.0.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/pywavelets|pywavelets-1.6.0.ebuild|MIT|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/pywavelets|pywavelets-1.7.0.ebuild|MIT|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/statsmodels|statsmodels-0.14.4.ebuild|BSD|python@gentoo.org:sci-mathematics@gentoo.org 8|dev-python/symengine|symengine-0.11.0.ebuild|MIT|sci-mathematics@gentoo.org:python@gentoo.org 8|dev-python/sympy|sympy-1.13.3.ebuild|BSD|grozin@gentoo.org:sam@gentoo.org:sci-mathematics@gentoo.org:python@gentoo.org 7|media-fonts/jsmath-extra-dark|jsmath-extra-dark-1.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org 7|media-fonts/jsmath|jsmath-1.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org 8|media-gfx/netgen|netgen-6.2.2302.ebuild|LGPL-2.1|sci-mathematics@gentoo.org:negril.nx+gentoo@gmail.com 7|media-libs/qhull|qhull-2020.2-r3.ebuild|BSD|sci-mathematics@gentoo.org 7|sci-libs/cdd+|cdd+-077a.ebuild|GPL-2|sci-mathematics@gentoo.org 7|sci-libs/cddlib|cddlib-094m-r1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-libs/cddlib|cddlib-094m-r2.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 7|sci-libs/cln|cln-1.3.6.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-libs/dmlc-core|dmlc-core-0.5.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 7|sci-libs/hypre|hypre-2.20.0.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 7|sci-libs/hypre|hypre-2.21.0.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 7|sci-libs/hypre|hypre-2.24.0.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 8|sci-libs/libsemigroups|libsemigroups-2.7.3-r1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 7|sci-libs/mpfi|mpfi-1.5.4.ebuild|GPL-3:LGPL-2.1+:LGPL-3|sci-mathematics@gentoo.org 8|sci-libs/mpfi|mpfi-1.5.4_p20220401.ebuild|GPL-3:LGPL-2.1+:LGPL-3|sci-mathematics@gentoo.org 8|sci-libs/primegen|primegen-0.97-r3.ebuild|public-domain|sci-mathematics@gentoo.org 8|sci-libs/symengine|symengine-0.11.1.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-libs/symengine|symengine-0.12.0.ebuild|MIT|sci-mathematics@gentoo.org 7|sci-mathematics/4ti2|4ti2-1.6.7-r1.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/abc|abc-0_p20230313.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/abc|abc-9999.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/acl2|acl2-8.5_p20240307.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/acl2|acl2-8.5-r2.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/alectryon|alectryon-1.4.0-r2.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/alt-ergo|alt-ergo-2.4.3-r2.ebuild|CeCILL-C|ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/arb|arb-2.23.0.ebuild|GPL-2+|sci-mathematics@gentoo.org:mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org 7|sci-mathematics/bertini|bertini-1.4.ebuild|bertini|sci-mathematics@gentoo.org 8|sci-mathematics/bertini|bertini-1.6.ebuild|bertini|sci-mathematics@gentoo.org 8|sci-mathematics/boolector|boolector-3.2.3.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/boolector|boolector-3.2.4.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/btor2tools|btor2tools-1.0.0_pre20220518-r1.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/cadabra|cadabra-2.4.5.4.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/cadabra|cadabra-2.4.5.6.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/cadabra|cadabra-2.4.5.7.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/cadical|cadical-1.9.5.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/cadical|cadical-2.0.0.ebuild|MIT|sci-mathematics@gentoo.org 7|sci-mathematics/calc|calc-2.13.0.1.ebuild|LGPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/cgal|cgal-5.6.1.ebuild|Boost-1.0:GPL-3:LGPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/cgal|cgal-5.6.ebuild|Boost-1.0:GPL-3:LGPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/cgal|cgal-6.0.ebuild|Boost-1.0:GPL-3:LGPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.19.2.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.20.0.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 8|sci-mathematics/coq-mathcomp|coq-mathcomp-1.19.0.ebuild|CeCILL-B|sci-mathematics@gentoo.org 8|sci-mathematics/coq-serapi|coq-serapi-0.20.0.ebuild|GPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/cryptominisat|cryptominisat-5.11.21-r1.ebuild|GPL-2:MIT|sci-mathematics@gentoo.org 8|sci-mathematics/cubicle|cubicle-1.2.0-r2.ebuild|Apache-2.0|ml@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/dataplot|dataplot-20131220.ebuild|public-domain|sci-mathematics@gentoo.org 8|sci-mathematics/easycrypt|easycrypt-2024.01-r1.ebuild|MIT|ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/easycrypt|easycrypt-2024.09.ebuild|MIT|ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/ent|ent-101202.ebuild|public-domain|sci-mathematics@gentoo.org 8|sci-mathematics/eprover|eprover-3.0.03.ebuild|GPL-2+|sci-mathematics@gentoo.org 8|sci-mathematics/eprover|eprover-3.0_pre008.ebuild|GPL-2+|sci-mathematics@gentoo.org 7|sci-mathematics/euler|euler-1.61.0-r1.ebuild|GPL-2|sci-mathematics@gentoo.org 7|sci-mathematics/fann|fann-2.2.0-r1.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 7|sci-mathematics/fann|fann-9999.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 8|sci-mathematics/flocq|flocq-4.1.0-r1.ebuild|LGPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/flocq|flocq-4.1.1.ebuild|LGPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/form|form-4.3.1.ebuild|GPL-3|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/form|form-5.0.0_beta1.ebuild|GPL-3|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/fricas|fricas-1.3.11-r3.ebuild|BSD-2|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/frobby|frobby-0.9.0-r4.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/gap|gap-4.13.1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/gap|gap-4.13.1-r1.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/gappa|gappa-1.4.1.ebuild|CeCILL-2:GPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/gappa|gappa-1.4.2.ebuild|CeCILL-2:GPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.2-r1.ebuild|LGPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.3.ebuild|LGPL-3+|sci-mathematics@gentoo.org 7|sci-mathematics/geomview|geomview-1.9.5-r1.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 8|sci-mathematics/gfan|gfan-0.6.2-r4.ebuild|GPL-2+|sci-mathematics@gentoo.org 8|sci-mathematics/gfan|gfan-0.6.2-r6.ebuild|GPL-2+|sci-mathematics@gentoo.org 8|sci-mathematics/giac|giac-1.9.0.29-r1.ebuild|GPL-2|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/giac|giac-1.9.0.995-r1.ebuild|GPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/gimps|gimps-30.19.14.ebuild|GIMPS|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org 8|sci-mathematics/gimps|gimps-30.19.20.ebuild|GIMPS|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org 8|sci-mathematics/gimps|gimps-30.8.15.ebuild|GIMPS|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org 8|sci-mathematics/gimps|gimps-30.8.17.ebuild|GIMPS|paolo.pedroni@iol.it:sci-mathematics@gentoo.org:proxy-maint@gentoo.org 8|sci-mathematics/ginac|ginac-1.8.7-r1.ebuild|GPL-2+|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/ginac|ginac-1.8.7-r2.ebuild|GPL-2+|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/ginac|ginac-1.8.7-r3.ebuild|GPL-2+|grozin@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/glpk|glpk-5.0-r1.ebuild|GPL-3|robbat2@gentoo.org:mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/glpk|glpk-5.0-r3.ebuild|GPL-3|robbat2@gentoo.org:mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/gretl|gretl-2021d.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/gsl-shell|gsl-shell-2.3.5.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/jags|jags-4.3.1-r1.ebuild|GPL-2|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/kissat|kissat-3.1.0.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/kissat|kissat-3.1.1.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/lean|lean-3.51.1.ebuild|Apache-2.0|sci-mathematics@gentoo.org 8|sci-mathematics/lean|lean-4.11.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org 8|sci-mathematics/lean|lean-4.2.0.ebuild|Apache-2.0|sci-mathematics@gentoo.org 8|sci-mathematics/libpoly|libpoly-0.1.11.ebuild|LGPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/lpsolve|lpsolve-5.5.2.11-r2.ebuild|LGPL-2.1|office@gentoo.org: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/mathmod|mathmod-11.1.ebuild|GPL-2+:GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/mathomatic|mathomatic-16.0.5-r1.ebuild|LGPL-2.1|sci-mathematics@gentoo.org 8|sci-mathematics/maxima|maxima-5.46.0-r1.ebuild|GPL-2:GPL-2+|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/maxima|maxima-5.47.0.ebuild|GPL-2:GPL-2+:LLGPL-2.1|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/maxima|maxima-5.47.0-r1.ebuild|GPL-2:GPL-2+:LLGPL-2.1|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/metamath-databases|metamath-databases-20220303.ebuild|CC0-1.0|sci-mathematics@gentoo.org 8|sci-mathematics/metamath|metamath-0.198.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/nauty|nauty-2.8.8-r1.ebuild|Apache-2.0|sci-mathematics@gentoo.org 7|sci-mathematics/nestedsums|nestedsums-1.5.2-r1.ebuild|GPL-2|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/normaliz|normaliz-3.10.1.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/normaliz|normaliz-3.9.3.ebuild|GPL-3|sci-mathematics@gentoo.org 7|sci-mathematics/num-utils|num-utils-0.5-r2.ebuild|GPL-2|sci-mathematics@gentoo.org 7|sci-mathematics/octave-epstk|octave-epstk-2.4.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/octave|octave-8.3.0-r2.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/octave|octave-9.2.0-r1.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/palp|palp-2.21.ebuild|GPL-3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/pari-data|pari-data-20191216.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/pari|pari-2.15.5.ebuild|GPL-2+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/petsc|petsc-3.16.0-r2.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.17.1-r2.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.18.2-r1.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.19.1-r1.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.19.2-r1.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.19.4-r1.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.20.5-r1.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/petsc|petsc-3.21.3.ebuild|BSD-2|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/picosat|picosat-965.ebuild|MIT|sci-mathematics@gentoo.org 8|sci-mathematics/plfit|plfit-0.9.3.ebuild|BSD:GPL-2+:MIT|mjo@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/plfit|plfit-0.9.5.ebuild|BSD:GPL-2+:MIT|mjo@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/polymake|polymake-4.11.ebuild|BSD:GPL-2:GPL-2+:MIT:WTFPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/polymake|polymake-4.12.ebuild|BSD:GPL-2:GPL-2+:MIT:WTFPL-2|sci-mathematics@gentoo.org 7|sci-mathematics/prng|prng-3.0.2-r3.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/prover9|prover9-2009.11a-r1.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/proverif|proverif-2.04-r1.ebuild|GPL-2+|ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/proverif|proverif-2.05.ebuild|GPL-2+|ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/proverif|proverif-9999.ebuild|GPL-2+|ml@gentoo.org: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/pspp|pspp-1.6.2-r2.ebuild|FDL-1.3+:GPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/rkward|rkward-0.8.0.ebuild|GPL-2+:LGPL-2|kde@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/rngstreams|rngstreams-1.0.1.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/sha1-polyml|sha1-polyml-5.9.ebuild|GPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/singular|singular-4.3.2_p16-r1.ebuild|BSD:GPL-2:GPL-2+:GPL-3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/singular|singular-4.4.0_p6.ebuild|BSD:GPL-2:GPL-2+:GPL-3|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/slepc|slepc-3.16.0.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 7|sci-mathematics/slepc|slepc-3.17.1.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/slepc|slepc-3.18.1.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/slepc|slepc-3.19.0.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/slepc|slepc-3.19.1.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/slepc|slepc-3.20.1.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/slepc|slepc-3.21.1.ebuild|LGPL-3|tamiko@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/smtinterpol|smtinterpol-2.5_p20211018-r1.ebuild|LGPL-3|sci-mathematics@gentoo.org 8|sci-mathematics/stp|stp-2.3.3-r3.ebuild|GPL-2+:MIT|jeffrey@icurse.nl:sci-mathematics@gentoo.org 8|sci-mathematics/stp|stp-2.3.4.ebuild|GPL-2+:MIT|jeffrey@icurse.nl:sci-mathematics@gentoo.org 8|sci-mathematics/topcom|topcom-0.17.8-r3.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/topcom|topcom-1.1.2.ebuild|GPL-3|sci-mathematics@gentoo.org 7|sci-mathematics/unuran|unuran-1.8.1.ebuild|GPL-2|sci-mathematics@gentoo.org 7|sci-mathematics/unuran|unuran-1.9.0.ebuild|GPL-2|sci-mathematics@gentoo.org 8|sci-mathematics/vampire|vampire-4.8.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/vampire|vampire-4.9.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/verifpal|verifpal-0.27.0.ebuild|GPL-3+|sci-mathematics@gentoo.org 8|sci-mathematics/verit|verit-2021.06.2.ebuild|BSD|sci-mathematics@gentoo.org 8|sci-mathematics/why3|why3-1.6.0.ebuild|LGPL-2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/why3|why3-1.7.2.ebuild|LGPL-2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/wxmaxima|wxmaxima-24.02.1.ebuild|GPL-2|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/wxmaxima|wxmaxima-24.05.0.ebuild|GPL-2|grozin@gentoo.org:sci-mathematics@gentoo.org 8|sci-mathematics/wxmaxima|wxmaxima-24.08.0.ebuild|GPL-2|grozin@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 8|sci-mathematics/yices2|yices2-2.6.4-r1.ebuild|GPL-3+|sci-mathematics@gentoo.org 7|sci-visualization/zhu3d|zhu3d-4.2.6-r1.ebuild|GPL-3|sci-mathematics@gentoo.org