Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 27-Mar-2016 03:12 758 [TXT] idris-0.10.3.ebuild 22-Mar-2016 02:12 3.1K [TXT] idris-0.11-r1.ebuild 27-Mar-2016 03:12 3.1K [TXT] idris-9999.ebuild 02-Sep-2015 02:17 2.6K [   ] metadata.xml 27-Jan-2016 02:23 1.3K