Index of /haskell/dev-lang/idris

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                18-Mar-2013 02:13  758   
[DIR] files/                  18-Mar-2013 02:13    -   
[TXT] idris-0.9.4.1.ebuild    29-Oct-2012 01:24  640   
[TXT] idris-0.9.7.ebuild      18-Mar-2013 02:13  722   
[TXT] idris-9999.ebuild       08-Sep-2012 02:15  806   
[   ] metadata.xml            20-Aug-2012 22:38  1.2K
Apache Server at data.gpo.zugaina.org Port 80