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

Filename	Modification time	Size
Manifest	2025-07-10 00:11 CEST	1236 B
idris2-0.7.0-r1.ebuild	2025-07-10 00:11 CEST	3350 B
metadata.xml	2025-03-20 13:38 CET	1255 B