8|sci-mathematics/kind2|kind2-1.9.0.ebuild|Apache-2.0|ml@gentoo.org:sci-mathematics@gentoo.org