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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
files/-2024-Nov-21 12:41
Manifest 18442023-Dec-27 03:40
idris2-0.6.0.ebuild 24792023-Feb-14 07:40
idris2-0.7.0.ebuild 28282023-Dec-27 03:40
metadata.xml 12552022-Jan-25 21:10