portage://sci-mathematics/kind2 (1 version)