mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2024-01-23	idris2Packages.idris2Lsp: init at 2024-01-21	Mathew Polzin	1	-2/+3
2024-01-15	idris2: add api package and buildIdris helper	Mathew Polzin	1	-93/+16
2023-12-22	idris2: 0.6.0 -> 0.7.0	Mathew Polzin	1	-2/+2
2023-01-21	treewide: switch to nativeCheckInputs	Guillaume Girol	1	-1/+1
2022-10-28	idris2: 0.5.1 -> 0.6.0	Erlend Hamberg	1	-2/+2
2022-10-10	treewide: optional -> optionals where the argument is a list	Artturin	1	-1/+1
2022-01-10	Idris2: Refactor default.nix	wchresta	1	-33/+34
2021-12-23	idris2: add package tests	wchresta	1	-0/+4
2021-12-13	idris2: use `DYLD_LIBRARY_PATH` instead of `LD_LIBRARY_PATH` on macOS	cherryblossom000	1	-1/+1
2021-09-23	idris2: 0.5.0 -> 0.5.1	R. RyanTM	1	-2/+2
2021-09-19	idris2: 0.4.0 -> 0.5.0	R. RyanTM	1	-2/+2
2021-07-15	idris2: fix packagePaths issue	Fabián Heredia Montiel	1	-1/+2
2021-06-24	idris2: 0.3.0 → 0.4.0	Fabián Heredia Montiel	1	-9/+22
2021-01-23	pkgs/development/compilers: stdenv.lib -> lib	Ben Siraphob	1	-4/+4
2021-01-14	idris2: 0.2.2 -> 0.3.0	Felix Springer	1	-2/+2
2021-01-03	idris2: 0.2.1 -> 0.2.2	Felix Springer	1	-2/+2
2020-08-20	idris2: Enable --install, bugfixes	wchresta	1	-4/+37
2020-08-16	idris2: 0.2.0 -> 0.2.1	Andrew Valencik	1	-2/+2
2020-06-07	idris2: fix build on macOS (#89548)	davlum	1	-3/+4
2020-05-26	idris2: 0.2.0-840e020 -> 0.2.0	wchresta	1	-9/+8
2020-05-23	idris2: init at version 0.2.0-840e020	wchresta	1	-0/+45