| Age | Commit message (Expand) | Author |
|---|
| 2017-04-15 | gnu: idris: Fix idris-default-arguments....* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before
building and change --install to --build.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
| Peter Mikkelsen |
| 2017-04-15 | gnu: idris: Update to 1.0....* gnu/packages/idris.scm (idris): Update to 1.0.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
| Peter Mikkelsen |
| 2017-03-23 | gnu: idris: Update to 0.99.1....* gnu/packages/idris.scm (idris): Update to 0.99.1.
[inputs]: Add ghc-code-page.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Peter Mikkelsen |
| 2017-01-04 | gnu: Add idris-lens....* gnu/packages/idris.scm (idris-lens): New variable.
| David Craven |
| 2017-01-04 | gnu: Add idris-bifunctors....* gnu/packages/idris.scm (idris-bifunctors): New variable.
| David Craven |
| 2017-01-04 | gnu: Add idris-wl-pprint....* gnu/packages/idris.scm (idris-wl-pprint): New variable.
| David Craven |
| 2017-01-04 | gnu: Add idris-lightyear....* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments):
New variables.
| David Craven |
| 2017-01-04 | gnu: idris: Move to (gnu packages idris)....* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
| David Craven |
