8|sci-mathematics/coq|sci-mathematics/coq-8.17.1-r1|8.19.2-r1,8.20.0-r1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|sci-mathematics/coq-8.19.2-r1|8.20.0-r1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|sci-mathematics/coq-9.0.0|9.1.0-r1|sci-mathematics@gentoo.org