Information about source package idris2

Available versions

Branch Version Maintainer
3.18-community 0.6.0-r0 None
3.19-community 0.6.0-r3 Sören Tempel <soeren+alpine@soeren-tempel.net>
edge-community 0.7.0-r4 Sören Tempel <soeren+alpine@soeren-tempel.net>
3.20-community 0.7.0-r4 Sören Tempel <soeren+alpine@soeren-tempel.net>

Unresolved CVEs

Resolved CVEs