8|sci-mathematics/coq-mathcomp|coq-mathcomp-1.19.0.ebuild|CeCILL-B|sci-mathematics@gentoo.org