Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Idris2: Refactor default.nix | wchresta | 2022-01-10 |
* | idris2: add package tests | wchresta | 2021-12-23 |
* | idris2: use `DYLD_LIBRARY_PATH` instead of `LD_LIBRARY_PATH` on macOS | cherryblossom000 | 2021-12-13 |
* | idris2: 0.5.0 -> 0.5.1 | R. RyanTM | 2021-09-23 |
* | idris2: 0.4.0 -> 0.5.0 | R. RyanTM | 2021-09-19 |
* | idris2: fix packagePaths issue | Fabián Heredia Montiel | 2021-07-15 |
* | idris2: 0.3.0 → 0.4.0 | Fabián Heredia Montiel | 2021-06-24 |
* | pkgs/development/compilers: stdenv.lib -> lib | Ben Siraphob | 2021-01-23 |
* | idris2: 0.2.2 -> 0.3.0 | Felix Springer | 2021-01-14 |
* | idris2: 0.2.1 -> 0.2.2 | Felix Springer | 2021-01-03 |
* | idris2: Enable --install, bugfixes | wchresta | 2020-08-20 |
* | idris2: 0.2.0 -> 0.2.1 | Andrew Valencik | 2020-08-16 |
* | idris2: fix build on macOS (#89548) | davlum | 2020-06-07 |
* | idris2: 0.2.0-840e020 -> 0.2.0 | wchresta | 2020-05-26 |
* | idris2: init at version 0.2.0-840e020 | wchresta | 2020-05-23 |