aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
Commit message (Expand)AuthorAge
* gnu: Move non-compilers out of haskell.scm.Robert Vollmert2019-08-31
* gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.Robert Vollmert2019-08-07
* gnu: idris: Run tests.Eric Bavier2019-04-11
* gnu: idris: Enable FFI and GMP support.Eric Bavier2019-04-11
* gnu: idris: Upgrade to 1.3.1.Eric Bavier2019-04-11
* gnu: idris: Update to 1.3.0.Timothy Sample2018-10-01
* gnu: ghc-mtl: Remove built-in Haskell package.Timothy Sample2018-10-01
* gnu: idris: Provide the right versions of dependencies.Alex ter Weele2018-03-15
* gnu: Add ghc-cheapskate-0.1.0.5.Alex ter Weele2018-03-15
* gnu: Add ghc-trifecta-1.6.2.1.Alex ter Weele2018-03-15
* gnu: Add ghc-aeson-1.1.2.0.Alex ter Weele2018-03-15
* gnu: Move web packages from haskell to haskell-web.Ricardo Wurmus2017-11-13
* gnu: Move testing packages from haskell to haskell-check.Ricardo Wurmus2017-11-13
* gnu: idris: Fix idris-default-arguments.Peter Mikkelsen2017-04-15
* gnu: idris: Update to 1.0.Peter Mikkelsen2017-04-15
* gnu: idris: Update to 0.99.1.Peter Mikkelsen2017-03-23
* gnu: Add idris-lens.David Craven2017-01-04
* gnu: Add idris-bifunctors.David Craven2017-01-04
* gnu: Add idris-wl-pprint.David Craven2017-01-04
* gnu: Add idris-lightyear.David Craven2017-01-04
* gnu: idris: Move to (gnu packages idris).David Craven2017-01-04