Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 23-Jan-2018 02:28 1.5K [DIR] files/ 21-Nov-2017 02:19 - [TXT] idris-0.12.2.ebuild 01-Mar-2017 02:14 3.5K [TXT] idris-0.12.3.ebuild 01-Mar-2017 02:14 3.4K [TXT] idris-1.0-r1.ebuild 12-Jun-2017 02:13 3.5K [TXT] idris-1.1.0.ebuild 21-Nov-2017 02:19 3.6K [TXT] idris-1.2.0-r1.ebuild 18-Feb-2018 02:29 3.4K [TXT] idris-9999.ebuild 01-Mar-2017 02:14 3.4K [   ] metadata.xml 08-May-2016 02:13 1.3K