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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
idris2-0.5.1_p20211112.ebuild2.5 KiB2021-Nov-28 06:40
Manifest927 B2021-Dec-28 01:10
metadata.xml1.2 KiB2021-Dec-28 01:10