Index of /dev-lang/idris2/files/

NameLast ModifiedSizeType
../ -  Directory
idris2-0.7.0-disable-allbackends-tests.patch2023-Dec-27 02:40:470.2Ktext/x-diff
lighttpd/1.4.45