Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 21-May-2016 02:19 760 [TXT] idris-0.11.1.ebuild 11-May-2016 02:11 3.2K [TXT] idris-0.11.2-r1.ebuild 29-May-2016 02:14 3.4K [TXT] idris-9999.ebuild 23-May-2016 02:15 3.2K [   ] metadata.xml 08-May-2016 02:13 1.3K