sci-mathematics/vampire|2|98ebbdac20b37b082ab3119ecd332c42246e2bfe|4176934|4.0M|sci-mathematics@gentoo.org