Index of /portage/trunk/dev-lang/idris2/files

Name	Last modified	Size

Parent Directory		-
idris2-0.7.0-disable-allbackends-tests.patch	2023-12-27 05:40	255

Apache Server at bbgentoo.ilb.ru Port 80