Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 02-Aug-2017 02:22 1.5K [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 02-Aug-2017 02:22 3.5K [TXT] idris-9999.ebuild 01-Mar-2017 02:14 3.4K [   ] metadata.xml 08-May-2016 02:13 1.3K