8|sci-mathematics/coq-stdlib|coq-stdlib-9.0.0-r1.ebuild|amd64:~arm64|sci-mathematics@gentoo.org