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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
Manifest2022-Feb-27 01:39:512.1Kapplication/octet-stream
idris2-0.5.1_p20211112.ebuild2021-Nov-27 22:40:002.4Kapplication/octet-stream
idris2-0.5.1_p20220131.ebuild2022-Feb-01 05:09:472.4Kapplication/octet-stream
idris2-0.5.1_p20220224.ebuild2022-Feb-27 01:39:512.5Kapplication/octet-stream
metadata.xml2022-Jan-25 20:10:031.2Ktext/xml
EUserv Internet euserv.com