Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
247 B · 10 lines
Nix
1234567891011{ callPackage }:{ idris2 = callPackage ./idris2.nix { }; idris2Api = callPackage ./idris2-api.nix { }; idris2Lsp = callPackage ./idris2-lsp.nix { };
pack = callPackage ./pack.nix { };
buildIdris = callPackage ./build-idris.nix { };}