summaryrefslogtreecommitdiff
path: root/pkgs/development/compilers/idris2/default.nix
AgeCommit message (Expand)Author
2025-10-21idris2: Modernize derivationRoss Smyth
2025-10-21idris2: Move to by-nameRoss Smyth
2024-09-24idris2Packages.pack: init at 2024-02-07Mathew Polzin
2024-09-13idris2Packages: make idris2Api a more formal packageMathew Polzin
2024-09-13idris2Packages: run nixfmtMathew Polzin
2024-01-23idris2Packages.idris2Lsp: init at 2024-01-21Mathew Polzin
2024-01-15idris2: add api package and buildIdris helperMathew Polzin
2023-12-22idris2: 0.6.0 -> 0.7.0Mathew Polzin
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol
2022-10-28idris2: 0.5.1 -> 0.6.0Erlend Hamberg
2022-10-10treewide: optional -> optionals where the argument is a listArtturin
2022-01-10Idris2: Refactor default.nixwchresta
2021-12-23idris2: add package testswchresta
2021-12-13idris2: use `DYLD_LIBRARY_PATH` instead of `LD_LIBRARY_PATH` on macOScherryblossom000
2021-09-23idris2: 0.5.0 -> 0.5.1R. RyanTM
2021-09-19idris2: 0.4.0 -> 0.5.0R. RyanTM
2021-07-15idris2: fix packagePaths issueFabián Heredia Montiel
2021-06-24idris2: 0.3.0 → 0.4.0Fabián Heredia Montiel
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob
2021-01-14idris2: 0.2.2 -> 0.3.0Felix Springer
2021-01-03idris2: 0.2.1 -> 0.2.2Felix Springer
2020-08-20idris2: Enable --install, bugfixeswchresta
2020-08-16idris2: 0.2.0 -> 0.2.1Andrew Valencik
2020-06-07idris2: fix build on macOS (#89548)davlum
2020-05-26idris2: 0.2.0-840e020 -> 0.2.0wchresta
2020-05-23idris2: init at version 0.2.0-840e020wchresta
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 03:54:18 +0000