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

Filename	Modification time	Size
Manifest	2025-08-11 12:42 CEST	1236 B
idris2-0.7.0-r2.ebuild	2025-08-11 12:42 CEST	3553 B
metadata.xml	2025-03-20 13:38 CET	1255 B