8|sci-mathematics/coq|coq-8.19.1.ebuild|check-reqs:desktop:edo:dune|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.0.ebuild|check-reqs:desktop:edo:dune|sci-mathematics@gentoo.org