Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 23-Jan-2016 02:20 1.1K [DIR] files/ 11-Jun-2015 02:25 - [TXT] idris-0.9.19.1-r1.eb..> 12-Oct-2015 02:19 2.9K [TXT] idris-0.9.20.2.ebuild 23-Jan-2016 02:20 3.0K [TXT] idris-0.10.ebuild 24-Jan-2016 02:19 3.1K [TXT] idris-9999.ebuild 02-Sep-2015 02:17 2.6K [   ] metadata.xml 27-Jan-2016 02:23 1.3K