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>