/sci-mathematics/alt-ergo/
../
Manifest
alt-ergo-1.30.ebuild
alt-ergo-2.3.0.ebuild
metadata.xml