Index of /repo/pkgs/idris

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]idris-0.9.4.1.tar.gz/ 2015-07-14 17:10 -  
[DIR]idris-0.9.8.tar.gz/ 2015-07-14 17:10 -  
[DIR]idris-0.9.9.1.tar.gz/ 2015-07-14 17:10 -  
[DIR]idris-0.9.9.tar.gz/ 2015-07-14 17:10 -  
[DIR]idris-1.3.0.tar.gz/ 2018-06-26 04:02 -  
[DIR]idris-1.3.1.tar.gz/ 2019-02-21 07:11 -  
[DIR]idris-1.3.2.tar.gz/ 2019-07-25 17:14 -  
[DIR]idris-1.3.3-2ef8238d..>2021-08-21 16:20 -  
[DIR]idris-1.3.3.tar.gz/ 2020-06-10 04:09 -  
[DIR]idris-1.3.4.tar.gz/ 2021-10-25 10:40 -