8|sci-mathematics/mathlib-tools|mathlib-tools-1.3.2_p1.ebuild|~amd64:~x86|sci-mathematics@gentoo.org