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