mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-08-31 20:54:56 +00:00
11 lines
232 B
Nix
11 lines
232 B
Nix
{ callPackage, idris2 }:
|
|
{
|
|
inherit idris2;
|
|
idris2Api = callPackage ./idris2-api.nix { };
|
|
idris2Lsp = callPackage ./idris2-lsp.nix { };
|
|
|
|
pack = callPackage ./pack.nix { };
|
|
|
|
buildIdris = callPackage ./build-idris.nix { };
|
|
}
|