8|67|2026-01-18|sci-mathematics/vampire|vampire-4.9.ebuild|https://github.com/vprover/vampire/|140.82.121.3|sci-mathematics@gentoo.org
8|67|2026-01-18|sci-mathematics/vampire|vampire-5.0.0.ebuild|https://github.com/vprover/vampire/|140.82.121.3|sci-mathematics@gentoo.org