| Commit message (Expand) | Author | Age |
* | 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 | 2019-04-11 |
* | gnu: idris: Update to 1.3.0. | Timothy Sample | 2018-10-01 |
* | gnu: ghc-mtl: Remove built-in Haskell package. | Timothy Sample | 2018-10-01 |
* | 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 | 2018-03-15 |
* | 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-11-13 |
* | gnu: idris: Fix idris-default-arguments. | Peter Mikkelsen | 2017-04-15 |
* | gnu: idris: Update to 1.0. | Peter Mikkelsen | 2017-04-15 |
* | gnu: idris: Update to 0.99.1. | Peter Mikkelsen | 2017-03-23 |
* | 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 | 2017-01-04 |