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