Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 28-Nov-2016 02:16 760 [TXT] idris-0.12.2.ebuild 28-Aug-2016 02:19 3.5K [TXT] idris-0.12.3.ebuild 25-Sep-2016 02:21 3.4K [TXT] idris-9999.ebuild 18-Jul-2016 02:16 3.4K [   ] metadata.xml 08-May-2016 02:13 1.3K