summaryrefslogtreecommitdiff
path: root/pkgs/development/compilers/idris2
AgeCommit message (Expand)Author
2025-12-27idris2Packages.pack: 2025-11-06 -> 2025-12-27Mathew Polzin
2025-12-24idris2Packages.pack: add make runtime dependencyMathew Polzin
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-09idris2Packages.pack: 2024-02-07 -> 2025-11-06MithicSpirit
2025-11-02idris2Packages.idris2Lsp: 2024-01-21 -> 2025-09-10Mathew Polzin
2025-10-21idris2: Put prelude in seperate derivationRoss Smyth
2025-10-21idris2: Make a compiler pkgsetRoss Smyth
2025-10-21idris2: Modernize derivationRoss Smyth
2025-10-21idris2: Move to by-nameRoss Smyth
2025-10-04pkgs: remove optional builtins prefixes from prelude functionsNAHO
2025-07-28treewide: conform descriptions to the standardsmivorasu
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2025-02-24treewide: fix typos in commentsPeder Bergebakken Sundt
2025-01-22idris2Packages.buildIdris: add retroactive support for building a whole depen...Mathew Polzin
2024-12-06idris2Packages.pack: fix runtime building of Idris2 versionsMathew Polzin
2024-10-26idris2Packages.buildIdris: add retroactive support for building a whole depen...Mathew Polzin
2024-10-20idris2Packages.pack: init at 2024-02-07 (#344109)Mathew Polzin
2024-09-25treewide: replace `stdenv.is` with `stdenv.hostPlatform.is`Artturin
2024-09-24idris2Packages.pack: init at 2024-02-07Mathew Polzin
2024-09-13idris2Packages: make idris2Api a more formal packageMathew Polzin
2024-09-13idris2Packages.buildIdris: QoL improvementsMathew Polzin
2024-09-13idris2: add buildIdris testsMathew Polzin
2024-09-13idris2Packages: run nixfmtMathew Polzin
2024-09-05idris2Packages.idris2Lsp: fix cross evalStefan Frijters
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-24 02:57:41 +0000