Mathew Polzin 9b8bdbfa9d idris2Packages.pack: init at 2024-02-07 (#344109)		2024-10-20 11:20:25 -05:00
..
build-idris.nix
default.nix
idris2-api.nix
idris2-lsp.nix
idris2.nix	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00
pack.nix
tests.nix	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00