8|sci-mathematics/vampire|vampire-4.8.ebuild|~amd64:~x86|sci-mathematics@gentoo.org