/sci-mathematics/vampire/

• ../
• Manifest
• metadata.xml
• vampire-5.0.0.ebuild
• vampire-5.0.1.ebuild