8|2025-02-24|sci-mathematics/prover9|prover9-2009.11a-r2.ebuild|https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz|sci-mathematics@gentoo.org