portage://dev-lang/idris2 (1 version)

detail deptree gantt merge info glsa bugs