| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : guix | |
| Wojtek's customized Guix |
| aboutsummaryrefslogtreecommitdiff |