Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/pkgs/development/compilers/idris2/

• build-idris.nix
• default.nix
• idris2-api.nix
• idris2-lsp.nix
• pack.nix