Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 25-Sep-2016 02:21 1.9K [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-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-0.12.ebuild 27-Jun-2016 02:20 3.4K [TXT] idris-9999.ebuild 18-Jul-2016 02:16 3.4K [   ] metadata.xml 08-May-2016 02:13 1.3K