Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 06-May-2022 14:18 305 [TXT] idris-1.3.4.ebuild 06-May-2022 14:18 3.5K [   ] metadata.xml 31-Jul-2022 02:18 363