summary refs log tree commit diff
path: root/pkgs/development/compilers/idris2/default.nix
Commit message (Expand)AuthorAge
* treewide: switch to nativeCheckInputsGuillaume Girol2023-01-21
* idris2: 0.5.1 -> 0.6.0Erlend Hamberg2022-10-28
* treewide: optional -> optionals where the argument is a listArtturin2022-10-10
* Idris2: Refactor default.nixwchresta2022-01-10
* idris2: add package testswchresta2021-12-23
* idris2: use `DYLD_LIBRARY_PATH` instead of `LD_LIBRARY_PATH` on macOScherryblossom0002021-12-13
* idris2: 0.5.0 -> 0.5.1R. RyanTM2021-09-23
* idris2: 0.4.0 -> 0.5.0R. RyanTM2021-09-19
* idris2: fix packagePaths issueFabián Heredia Montiel2021-07-15
* idris2: 0.3.0 → 0.4.0Fabián Heredia Montiel2021-06-24
* pkgs/development/compilers: stdenv.lib -> libBen Siraphob2021-01-23
* idris2: 0.2.2 -> 0.3.0Felix Springer2021-01-14
* idris2: 0.2.1 -> 0.2.2Felix Springer2021-01-03
* idris2: Enable --install, bugfixeswchresta2020-08-20
* idris2: 0.2.0 -> 0.2.1Andrew Valencik2020-08-16
* idris2: fix build on macOS (#89548)davlum2020-06-07
* idris2: 0.2.0-840e020 -> 0.2.0wchresta2020-05-26
* idris2: init at version 0.2.0-840e020wchresta2020-05-23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 16:06:47 +0000