summary refs log tree commit diff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
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
2017-04-15gnu: idris: Fix idris-default-arguments.Peter Mikkelsen
2017-04-15gnu: idris: Update to 1.0.Peter Mikkelsen
2017-03-23gnu: idris: Update to 0.99.1.Peter Mikkelsen
2017-01-04gnu: Add idris-lens.David Craven
2017-01-04gnu: Add idris-bifunctors.David Craven
2017-01-04gnu: Add idris-wl-pprint.David Craven
2017-01-04gnu: Add idris-lightyear.David Craven
2017-01-04gnu: idris: Move to (gnu packages idris).David Craven