7|403|2023-11-25|dev-libs/gf2x|gf2x-1.3.0-r1.ebuild|https://gforge.inria.fr/projects/gf2x/|sci-mathematics@gentoo.org
7|000|2025-01-01|sci-libs/hypre|hypre-2.20.0.ebuild|https://computation.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods|sci-mathematics@gentoo.org
7|000|2025-01-01|sci-libs/hypre|hypre-2.21.0.ebuild|https://computation.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods|sci-mathematics@gentoo.org
7|000|2025-01-01|sci-libs/hypre|hypre-2.24.0.ebuild|https://computation.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods|sci-mathematics@gentoo.org
8|000|2025-01-01|sci-libs/hypre|hypre-2.32.0.ebuild|https://computation.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods|sci-mathematics@gentoo.org
8|000|2025-02-24|sci-mathematics/prover9|prover9-2009.11a-r2.ebuild|https://www.cs.unm.edu/~mccune/mace4/|sci-mathematics@gentoo.org