pkgs/development/compilers/idris2/default.nix at python-updates

tjh.dev / nixpkgs

fork atom

nixpkgs mirror (for testing) github.com/NixOS/nixpkgs

nix

fork atom

nixpkgs / pkgs / development / compilers / idris2 / default.nix

at python-updates 10 lines 232 B view raw

wrap content

 1{ callPackage, idris2 }:
 2{
 3  inherit idris2;
 4  idris2Api = callPackage ./idris2-api.nix { };
 5  idris2Lsp = callPackage ./idris2-lsp.nix { };
 6
 7  pack = callPackage ./pack.nix { };
 8
 9  buildIdris = callPackage ./build-idris.nix { };
10}