nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 06:53:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
backport-355785-to-release-24.11
nixpkgs/pkgs/development/compilers/idris2
History
Mathew Polzin 9b8bdbfa9d
idris2Packages.pack: init at 2024-02-07 (#344109)
2024-10-20 11:20:25 -05:00
..
build-idris.nix idris2Packages.buildIdris: QoL improvements 2024-09-13 03:35:29 -05:00
default.nix idris2Packages.pack: init at 2024-02-07 2024-09-24 09:06:11 -05:00
idris2-api.nix idris2Packages: make idris2Api a more formal package 2024-09-13 03:39:02 -05:00
idris2-lsp.nix idris2Packages: run nixfmt 2024-09-13 03:35:23 -05:00
idris2.nix treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
pack.nix idris2Packages.pack: init at 2024-02-07 2024-09-24 09:06:11 -05:00
tests.nix treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00