summaryrefslogtreecommitdiffstats
path: root/pkgs/development/compilers/idris2
AgeCommit message (Expand)Author
2024-06-23idris2Packages.idris2Lsp: apply ergonomics improvements facilitated by latest...Mathew Polzin
2024-06-23idris2Packages.buildIdris: More lenient and ergonomic dependency inputsMathew Polzin
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-05-09Merge pull request #297348 from mattpolzin/idris2-prefer-chez-10Fabián Heredia Montiel
2024-03-29idris2Packages.buildIdris: better nix-shell support via shellHookMathew Polzin
2024-03-19idris2: prefer chez 10 over chez-racketMathew Polzin
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm
2024-03-12Merge pull request #293813 from mattpolzin/propagate-idris2-libsFabián Heredia Montiel
2024-03-09idris2Packages.idris2Lsp: Add metadata to derivationMathew Polzin
2024-03-06idris2Packages.buildIdris: propagate idris librariesMathew Polzin
2024-01-23idris2Packages.idris2Lsp: init at 2024-01-21Mathew Polzin
2024-01-23idris2Packages.buildIdris: better packaging ergonomics, better executable sup...Mathew Polzin
2024-01-15idris2: add mattpolzin as a maintainerMathew 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 2024-07-15 17:04:09 +0000