gentoo.mahdi.cz
sci-mathematics
:coq-mathcomp
Mathematical Components for the Coq proof assistant
https://github.com/math-comp/math-comp/
coq-mathcomp-1.19.0
CeCILL-B
download
~amd64
gentoo