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