8|200|2023-07-04|app-emacs/pariemacs|pariemacs-3.14-r1.ebuild|http://iml.univ-mrs.fr/~ramare/ServeurPerso/GP-PARI/|https://www.i2m.univ-amu.fr/|sci-mathematics@gentoo.org 8|200|2024-08-30|dev-gap/gaplint|gaplint-1.2.1.ebuild|https://pypi.org/project/gaplint|https://pypi.org/project/gaplint/|mjo@gentoo.org:sci-mathematics@gentoo.org 8|200|2023-11-25|dev-libs/ntl|ntl-11.5.1-r4.ebuild|https://www.shoup.net/ntl/|https://libntl.org/|sci-mathematics@gentoo.org 7|200|2023-07-04|media-fonts/jsmath-extra-dark|jsmath-extra-dark-1.0.ebuild|http://www.math.union.edu/~dpvc/jsMath/download/extra-fonts/|https://www.math.union.edu/~dpvc/jsMath/download/extra-fonts/|sci-mathematics@gentoo.org 7|200|2023-07-04|media-fonts/jsmath|jsmath-1.0.ebuild|http://www.math.union.edu/~dpvc/jsMath/|https://www.math.union.edu/~dpvc/jsMath/|sci-mathematics@gentoo.org 7|200|2024-03-23|sci-libs/cddlib|cddlib-094m-r1.ebuild|https://www.inf.ethz.ch/personal/fukudak/cdd_home/|https://people.inf.ethz.ch/fukudak/cdd_home/|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 8|200|2024-03-23|sci-libs/cddlib|cddlib-094m-r2.ebuild|https://www.inf.ethz.ch/personal/fukudak/cdd_home/|https://people.inf.ethz.ch/fukudak/cdd_home/|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org 7|200|2024-01-09|sci-mathematics/bertini|bertini-1.4.ebuild|http://bertini.nd.edu|https://bertini.nd.edu:443/|sci-mathematics@gentoo.org 8|200|2024-01-09|sci-mathematics/bertini|bertini-1.6.ebuild|http://bertini.nd.edu|https://bertini.nd.edu:443/|sci-mathematics@gentoo.org 8|200|2024-06-28|sci-mathematics/cadical|cadical-1.9.5.ebuild|http://fmv.jku.at/cadical/|https://fmv.jku.at/cadical/|sci-mathematics@gentoo.org 8|200|2024-06-28|sci-mathematics/cadical|cadical-2.0.0.ebuild|http://fmv.jku.at/cadical/|https://fmv.jku.at/cadical/|sci-mathematics@gentoo.org 8|200|2024-10-01|sci-mathematics/coq|coq-8.19.0.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org 8|200|2024-10-01|sci-mathematics/coq|coq-8.19.1.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org 8|200|2024-10-01|sci-mathematics/coq|coq-8.19.2.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org 8|200|2024-06-05|sci-mathematics/cubicle|cubicle-1.2.0-r2.ebuild|https://cubicle.lri.fr/|https://usr.lmf.cnrs.fr/cubicle/|ml@gentoo.org:sci-mathematics@gentoo.org 7|429|2024-05-01|sci-mathematics/euler|euler-1.61.0-r1.ebuild|http://euler.sourceforge.net/|https://euler.sourceforge.net/|sci-mathematics@gentoo.org 7|200|2024-05-01|sci-mathematics/fann|fann-2.2.0-r1.ebuild|http://leenissen.dk/fann/wp/|https://leenissen.dk/|sci-mathematics@gentoo.org 7|200|2024-05-01|sci-mathematics/fann|fann-9999.ebuild|http://leenissen.dk/fann/wp/|https://leenissen.dk/|sci-mathematics@gentoo.org 8|200|2023-07-04|sci-mathematics/flocq|flocq-4.1.0-r1.ebuild|http://flocq.gforge.inria.fr/|https://flocq.gitlabpages.inria.fr/|sci-mathematics@gentoo.org 8|200|2023-07-04|sci-mathematics/flocq|flocq-4.1.1.ebuild|http://flocq.gforge.inria.fr/|https://flocq.gitlabpages.inria.fr/|sci-mathematics@gentoo.org 7|429|2024-05-01|sci-mathematics/geomview|geomview-1.9.5-r1.ebuild|http://geomview.sourceforge.net|https://geomview.sourceforge.net/|sci-mathematics@gentoo.org 8|429|2024-05-01|sci-mathematics/gretl|gretl-2021d.ebuild|http://gretl.sourceforge.net/|https://gretl.sourceforge.net/|sci-mathematics@gentoo.org 8|200|2023-10-12|sci-mathematics/kissat|kissat-3.1.0.ebuild|http://fmv.jku.at/kissat/|https://fmv.jku.at/kissat/|sci-mathematics@gentoo.org 8|200|2023-10-12|sci-mathematics/kissat|kissat-3.1.1.ebuild|http://fmv.jku.at/kissat/|https://fmv.jku.at/kissat/|sci-mathematics@gentoo.org 8|200|2024-09-02|sci-mathematics/maxima|maxima-5.46.0-r1.ebuild|http://maxima.sourceforge.net/|https://maxima.sourceforge.io/|grozin@gentoo.org:sci-mathematics@gentoo.org 8|200|2024-09-02|sci-mathematics/maxima|maxima-5.47.0.ebuild|http://maxima.sourceforge.net/|https://maxima.sourceforge.io/|grozin@gentoo.org:sci-mathematics@gentoo.org 8|200|2024-09-02|sci-mathematics/maxima|maxima-5.47.0-r1.ebuild|http://maxima.sourceforge.net/|https://maxima.sourceforge.io/|grozin@gentoo.org:sci-mathematics@gentoo.org 8|200|2023-07-04|sci-mathematics/metamath-databases|metamath-databases-20220303.ebuild|http://us.metamath.org/mpeuni/mmset.html|https://us.metamath.org/mpeuni/mmset.html|sci-mathematics@gentoo.org 8|200|2023-07-04|sci-mathematics/metamath|metamath-0.198.ebuild|http://us.metamath.org/|https://us.metamath.org/|sci-mathematics@gentoo.org 7|000|2023-07-04|sci-mathematics/octave-epstk|octave-epstk-2.4.ebuild|http://www.epstk.de/|http://epstk22.awardspace.com/|sci-mathematics@gentoo.org 8|200|2024-08-30|sci-mathematics/octave|octave-8.3.0-r2.ebuild|https://www.gnu.org/software/octave/|https://octave.org/|sci-mathematics@gentoo.org 8|200|2024-08-30|sci-mathematics/octave|octave-9.2.0-r1.ebuild|https://www.gnu.org/software/octave/|https://octave.org/|sci-mathematics@gentoo.org 8|200|2024-02-20|sci-mathematics/opensmt|opensmt-2.5.2.ebuild|http://verify.inf.usi.ch/opensmt/|https://verify.inf.usi.ch/opensmt/|sci-mathematics@gentoo.org 8|200|2023-07-04|sci-mathematics/picosat|picosat-965.ebuild|http://fmv.jku.at/picosat/|https://fmv.jku.at/picosat/|sci-mathematics@gentoo.org 7|200|2023-07-04|sci-mathematics/prng|prng-3.0.2-r3.ebuild|http://statmath.wu.ac.at/prng/|https://statmath.wu.ac.at/prng/|sci-mathematics@gentoo.org 8|200|2024-03-18|sci-mathematics/psmt2-frontend|psmt2-frontend-0.4.0.ebuild|https://github.com/OCamlPro-Coquera/psmt2-frontend|https://github.com/ACoquereau/psmt2-frontend|ml@gentoo.org:sci-mathematics@gentoo.org