Index of /kojifiles/packages/Agda/2.6.2.2/37.fc37/data

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]logs/2023-03-08 22:04 -  
[DIR]sigcache/2023-03-08 22:04 -