Information about source package idris2
Available versions
Branch
Version
Maintainer
3.18-community
0.6.0-r0
None
edge-community
0.6.0-r3
Sören Tempel <soeren+alpine@soeren-tempel.net>
Unresolved CVEs
Resolved CVEs