8|sci-mathematics/coq|coq-8.19.0.ebuild|LGPL-2.1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.1.ebuild|LGPL-2.1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.2.ebuild|LGPL-2.1|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.20.0.ebuild|LGPL-2.1|sci-mathematics@gentoo.org
8|sci-mathematics/coq-mathcomp|coq-mathcomp-1.19.0.ebuild|CeCILL-B|sci-mathematics@gentoo.org
8|sci-mathematics/coq-serapi|coq-serapi-0.19.0.ebuild|GPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/coq-serapi|coq-serapi-0.20.0.ebuild|GPL-3+|sci-mathematics@gentoo.org