8|sci-mathematics/vampire|sci-mathematics/vampire-4.8|4.9|sci-mathematics@gentoo.org