<<< ebuild_hash_mismatch >>> sci-mathematics/coq|https://github.com/coq/coq/archive/V8.20.0.tar.gz:https://github.com/coq/coq/archive/V8.17.1.tar.gz|sci-mathematics@gentoo.org <<< ebuild_homepage_bad_statuscode >>> 8|504|2026-01-06|sci-mathematics/coq|coq-8.17.1-r1.ebuild|https://github.com/rocq-prover/rocq/|sci-mathematics@gentoo.org 8|504|2026-01-06|sci-mathematics/coq|coq-8.19.2-r1.ebuild|https://github.com/rocq-prover/rocq/|sci-mathematics@gentoo.org 8|504|2026-01-06|sci-mathematics/coq|coq-8.20.0-r1.ebuild|https://github.com/rocq-prover/rocq/|sci-mathematics@gentoo.org 8|504|2026-01-06|sci-mathematics/coq|coq-9.0.0.ebuild|https://github.com/rocq-prover/rocq/|sci-mathematics@gentoo.org 8|504|2026-01-06|sci-mathematics/coq|coq-9.1.0-r1.ebuild|https://github.com/rocq-prover/rocq/|sci-mathematics@gentoo.org <<< ebuild_install_worthless_file_install >>> 8|sci-mathematics/coq|coq-8.17.1-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.19.2-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-8.20.0-r1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-9.0.0.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/coq|coq-9.1.0-r1.ebuild|sci-mathematics@gentoo.org <<< ebuild_src_offline >>> sci-mathematics/coq|https://github.com/coq/coq/archive/V8.19.2.tar.gz:https://github.com/coq/coq/archive/V9.0.0.tar.gz:https://github.com/coq/coq/archive/V9.1.0.tar.gz|sci-mathematics@gentoo.org <<< packages_pkgcheck_scan >>> UnknownPkgDirEntry: unknown entry: 'pkgcheck' DroppedKeywords: version 9.1.0-r1: x86 DeadUrl: version 9.1.0-r1: HOMEPAGE: 504 Server Error: Gateway Time-out for url: https://github.com/rocq-prover/rocq/ DeadUrl: version 9.1.0-r1: metadata.xml: changelog: HTTPSConnectionPool(host='github.com', port=443): Read timed out. (read timeout=5.0): https://github.com/rocq-prover/rocq/releases/ DeadUrl: version 9.1.0-r1: metadata.xml: remote-id: HTTPSConnectionPool(host='github.com', port=443): Read timed out. (read timeout=5.0): https://github.com/rocq-prover/rocq RedirectedUrl: version 9.1.0-r1: SRC_URI: permanently redirected: https://github.com/coq/coq/archive/V9.1.0.tar.gz -> https://github.com/rocq-prover/rocq/archive/V9.1.0.tar.gz