gentoo-ebuilds/sci-mathematics/vampire
..
Manifest
metadata.xml
vampire-4.8.ebuild
vampire-4.9.ebuild