portage-ng
/
portage
/
dev-lang
/
idris2
/
0.7.0-r2
version
«
‹
0.7.0-r2
›
»
graphs
detail
deptree
gantt
cli
--merge
--fetchonly
--info
security
glsa
bugs
legacy
emerge
pmerge
portage-ng glsa
No security advisories reference
dev-lang/idris2
.
Nothing to report: the GLSA index has no advisory for this package.