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

Filename	Modification time	Size
idris2-0.7.0-disable-allbackends-tests.patch	2025-03-20 13:38 CET	255 B