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