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/toric|toric-1.9.5.ebuild|MIT|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|dev-python/oct2py|oct2py-5.6.0.ebuild|MIT|sci-mathematics@gentoo.org
8|dev-python/oct2py|oct2py-5.6.1.ebuild|MIT|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.5.0.ebuild|MIT|sci-mathematics@gentoo.org:python@gentoo.org
8|dev-python/symengine|symengine-0.11.0.ebuild|MIT|sci-mathematics@gentoo.org:python@gentoo.org
8|sci-libs/symengine|symengine-0.11.1.ebuild|MIT|sci-mathematics@gentoo.org
8|sci-mathematics/alectryon|alectryon-1.4.0-r2.ebuild|MIT|sci-mathematics@gentoo.org
8|sci-mathematics/boolector|boolector-3.2.3.ebuild|MIT|sci-mathematics@gentoo.org
8|sci-mathematics/cadical|cadical-1.9.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/cadical|cadical-1.9.5.ebuild|MIT|sci-mathematics@gentoo.org
8|sci-mathematics/cryptominisat|cryptominisat-5.11.21.ebuild|GPL-2:MIT|sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2023.09.ebuild|MIT|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/cryptominisat|cryptominisat-5.11.15.ebuild|GPL-2:MIT|sci-mathematics@gentoo.org
8|sci-mathematics/easycrypt|easycrypt-2024.01.ebuild|MIT|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/kissat|kissat-3.1.1.ebuild|MIT|sci-mathematics@gentoo.org
8|sci-mathematics/kissat|kissat-3.1.0.ebuild|MIT|sci-mathematics@gentoo.org
8|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|MIT|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/stp|stp-2.3.3-r3.ebuild|GPL-2+:MIT|jeffrey@icurse.nl: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/yacas|yacas-1.9.1-r1.ebuild|Apache-2.0:GPL-2:MIT:OFL-1.1|sci-mathematics@gentoo.org