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