Information about source package idris2-stage0

Available versions

Branch	Version	Maintainer
3.18-community	0.6.0-r0	None
edge-community	0.6.0-r2	Sören Tempel <soeren+alpine@soeren-tempel.net>