<<< ebuild_homepage_bad_statuscode >>> 8|000|2025-02-24|sci-mathematics/prover9|prover9-2009.11a-r2.ebuild|https://www.cs.unm.edu/~mccune/mace4/|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> DeadUrl: version 2009.11a-r2: HOMEPAGE: connection failed: https://www.cs.unm.edu/~mccune/mace4/ DeadUrl: version 2009.11a-r2: SRC_URI: 404 Client Error: Not Found for url: https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz DeadUrl: version 2009.11a-r2: SRC_URI: connection failed: https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz