8|sci-mathematics/acl2|acl2-8.5_p20240307.ebuild|elisp-common|sci-mathematics@gentoo.org
8|sci-mathematics/acl2|acl2-8.5-r2.ebuild|elisp-common|sci-mathematics@gentoo.org
8|sci-mathematics/alectryon|alectryon-1.4.0-r2.ebuild|elisp-common:distutils-r1|sci-mathematics@gentoo.org
8|sci-mathematics/coq-serapi|coq-serapi-0.19.0.ebuild|elisp-common:dune|sci-mathematics@gentoo.org
8|sci-mathematics/cubicle|cubicle-1.2.0-r2.ebuild|autotools:elisp-common|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/fricas|fricas-1.3.9-r3.ebuild|elisp-common|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/fricas|fricas-1.3.10.ebuild|elisp-common|grozin@gentoo.org:sci-mathematics@gentoo.org
7|sci-mathematics/geomview|geomview-1.9.5-r1.ebuild|desktop:elisp-common:flag-o-matic:xdg|sci-mathematics@gentoo.org
8|sci-mathematics/form|form-4.3.1.ebuild|toolchain-funcs:autotools:flag-o-matic:elisp-common|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/form|form-5.0.0_beta1.ebuild|toolchain-funcs:autotools:flag-o-matic:elisp-common|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gretl|gretl-2021d.ebuild|elisp-common:toolchain-funcs:xdg-utils|sci-mathematics@gentoo.org
8|sci-mathematics/maxima|maxima-5.46.0-r1.ebuild|autotools:elisp-common:flag-o-matic:python-single-r1:xdg-utils|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/maxima|maxima-5.47.0.ebuild|autotools:elisp-common:flag-o-matic:python-single-r1:xdg-utils|grozin@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/proverif|proverif-2.05.ebuild|edo:elisp-common:findlib|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/proverif|proverif-2.04-r1.ebuild|edo:elisp-common:findlib|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/singular|singular-4.3.2_p10.ebuild|elisp-common:flag-o-matic|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/proverif|proverif-9999.ebuild|edo:elisp-common:findlib:git-r3|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/singular|singular-4.3.2_p16.ebuild|autotools:elisp-common|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org