| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | gnu: idris: Update to 1.3.3.... | Eric Bavier | 2021-01-20 | 1 | -4/+8 |
| * | gnu: idris: Fix for Haskell build system changes.... | Timothy Sample | 2020-08-29 | 1 | -1/+17 |
| * | gnu: idris: Use HTTPS home page.... | Tobias Geerinckx-Rice | 2020-03-09 | 1 | -1/+1 |
| * | gnu: idris: Fix Cabal dependency constraints.... | Timothy Sample | 2019-11-20 | 1 | -0/+5 |
| * | gnu: ghc-megaparsec: Update to 7.0.5.... | Timothy Sample | 2019-11-20 | 1 | -1/+1 |
| * | gnu: ghc-network: Update to 2.8.0.1.... | Timothy Sample | 2019-11-20 | 1 | -1/+1 |
| * | gnu: idris: Update to 1.3.2.... | Eric Bavier | 2019-09-24 | 1 | -5/+4 |
| * | gnu: Move non-compilers out of haskell.scm.... | Robert Vollmert | 2019-08-31 | 1 | -1/+1 |
| * | gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.... | Robert Vollmert | 2019-08-07 | 1 | -1/+0 |
| * | gnu: idris: Run tests.... | Eric Bavier | 2019-04-11 | 1 | -4/+19 |
| * | gnu: idris: Enable FFI and GMP support.... | Eric Bavier | 2019-04-11 | 1 | -1/+4 |
| * | gnu: idris: Upgrade to 1.3.1.... | Eric Bavier | 2019-04-11 | 1 | -7/+3 |
| * | gnu: idris: Update to 1.3.0.... | Timothy Sample | 2018-10-01 | 1 | -51/+10 |
| * | gnu: ghc-mtl: Remove built-in Haskell package.... | Timothy Sample | 2018-10-01 | 1 | -1/+0 |
| * | gnu: idris: Provide the right versions of dependencies.... | Alex ter Weele | 2018-03-15 | 1 | -11/+7 |
| * | gnu: Add ghc-cheapskate-0.1.0.5.... | Alex ter Weele | 2018-03-15 | 1 | -0/+19 |
| * | gnu: Add ghc-trifecta-1.6.2.1.... | Alex ter Weele | 2018-03-15 | 1 | -0/+13 |
| * | gnu: Add ghc-aeson-1.1.2.0.... | Alex ter Weele | 2018-03-15 | 1 | -0/+14 |
| * | gnu: Move web packages from haskell to haskell-web.... | Ricardo Wurmus | 2017-11-13 | 1 | -0/+1 |
| * | gnu: Move testing packages from haskell to haskell-check.... | Ricardo Wurmus | 2017-11-13 | 1 | -0/+1 |
| * | gnu: idris: Fix idris-default-arguments.... | Peter Mikkelsen | 2017-04-15 | 1 | -2/+4 |
| * | gnu: idris: Update to 1.0.... | Peter Mikkelsen | 2017-04-15 | 1 | -2/+2 |
| * | gnu: idris: Update to 0.99.1.... | Peter Mikkelsen | 2017-03-23 | 1 | -2/+3 |
| * | gnu: Add idris-lens.... | David Craven | 2017-01-04 | 1 | -0/+26 |
| * | gnu: Add idris-bifunctors.... | David Craven | 2017-01-04 | 1 | -0/+24 |
| * | gnu: Add idris-wl-pprint.... | David Craven | 2017-01-04 | 1 | -0/+25 |
| * | gnu: Add idris-lightyear.... | David Craven | 2017-01-04 | 1 | -1/+71 |
| * | gnu: idris: Move to (gnu packages idris).... | David Craven | 2017-01-04 | 1 | -0/+111 |
 |
index : software/guix | |
| Unnamed repository; edit this file 'description' to name the repository. | Fcgiwrap Daemon |
| summaryrefslogtreecommitdiff |