dev-lang/idris2-0.6.0:test-full
dev-lang/idris2-0.7.0:test-full
