Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 31-Mar-2015 02:16 758 [TXT] idris-0.9.16-r2.ebuild 22-Mar-2015 02:15 2.6K [TXT] idris-0.9.17.ebuild 31-Mar-2015 02:16 2.7K [TXT] idris-9999.ebuild 31-Mar-2015 02:16 2.7K [   ] metadata.xml 19-Dec-2014 20:15 1.2K