Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |