Index of /pub/linux/gentoo-portage/dev-lang/idris2/

Filename	Modification time	Size
Manifest	2023-12-27 02:40 CET	1844 B
idris2-0.6.0.ebuild	2023-02-14 06:40 CET	2479 B
idris2-0.7.0.ebuild	2023-12-27 02:40 CET	2828 B
metadata.xml	2022-01-25 20:10 CET	1255 B