packages feed

idris-0.1.3: Setup.lhs

> import Distribution.Simple

> main = defaultMain