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