nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 04:13:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
55df3a285d
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
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
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