/

idris: Update to 1.3.0....Timothy Sample 2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....Timothy Sample 2018-03-15gnu: idris: Provide the right versions of dependencies....Alex ter Weele 2018-03-15gnu: Add ghc-cheapskate-0.1.0.5....Alex ter Weele 2018-03-15gnu: Add ghc-trifecta-1.6.2.1....Alex ter Weele 2018-03-15gnu: Add ghc-aeson-1.1.2.0....Alex ter Weele 2017-11-13gnu: Move web packages from haskell to haskell-web....Ricardo Wurmus 2017-11-13gnu: Move testing packages from haskell to haskell-check....Ricardo Wurmus