Age | Commit message (Expand) | Author |
2021-10-08 | gnu: idris: Fix build. | Xinglu Chen |
2021-10-08 | gnu: Update Haskell ecosystem. | Lars-Dominik Braun |
2021-01-20 | gnu: idris: Update to 1.3.3. | Eric Bavier |
2020-08-29 | gnu: idris: Fix for Haskell build system changes. | Timothy Sample |
2020-03-09 | gnu: idris: Use HTTPS home page. | Tobias Geerinckx-Rice |
2019-11-20 | gnu: idris: Fix Cabal dependency constraints. | Timothy Sample |
2019-11-20 | gnu: ghc-megaparsec: Update to 7.0.5. | Timothy Sample |
2019-11-20 | gnu: ghc-network: Update to 2.8.0.1. | Timothy Sample |
2019-09-24 | gnu: idris: Update to 1.3.2. | Eric Bavier |
2019-08-31 | gnu: Move non-compilers out of haskell.scm. | Robert Vollmert |
2019-08-07 | gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml. | Robert Vollmert |
2019-04-11 | gnu: idris: Run tests. | Eric Bavier |
2019-04-11 | gnu: idris: Enable FFI and GMP support. | Eric Bavier |
2019-04-11 | gnu: idris: Upgrade to 1.3.1. | Eric Bavier |
2018-10-01 | gnu: idris: Update to 1.3.0. | Timothy Sample |
2018-10-01 | gnu: ghc-mtl: Remove built-in Haskell package. | Timothy Sample |
2018-03-15 | gnu: idris: Provide the right versions of dependencies. | Alex ter Weele |
2018-03-15 | gnu: Add ghc-cheapskate-0.1.0.5. | Alex ter Weele |
2018-03-15 | gnu: Add ghc-trifecta-1.6.2.1. | Alex ter Weele |
2018-03-15 | gnu: Add ghc-aeson-1.1.2.0. | Alex ter Weele |
2017-11-13 | gnu: Move web packages from haskell to haskell-web. | Ricardo Wurmus |
2017-11-13 | gnu: Move testing packages from haskell to haskell-check. | Ricardo Wurmus |
2017-04-15 | gnu: idris: Fix idris-default-arguments. | Peter Mikkelsen |
2017-04-15 | gnu: idris: Update to 1.0. | Peter Mikkelsen |
2017-03-23 | gnu: idris: Update to 0.99.1. | Peter Mikkelsen |
2017-01-04 | gnu: Add idris-lens. | David Craven |
2017-01-04 | gnu: Add idris-bifunctors. | David Craven |
2017-01-04 | gnu: Add idris-wl-pprint. | David Craven |
2017-01-04 | gnu: Add idris-lightyear. | David Craven |
2017-01-04 | gnu: idris: Move to (gnu packages idris). | David Craven |