idris2: Move to by-name

2025-10-21 12:45:50 -04:00
parent 9ecae119b7
commit 8496210f3d
4 changed files with 2 additions and 6 deletions
@@ -1,10 +1,8 @@
-{ callPackage }:
+{ callPackage, idris2 }:
 {
-  idris2 = callPackage ./idris2.nix { };
+  inherit idris2;
  idris2Api = callPackage ./idris2-api.nix { };
  idris2Lsp = callPackage ./idris2-lsp.nix { };
-
  pack = callPackage ./pack.nix { };
-
  buildIdris = callPackage ./build-idris.nix { };
 }
@@ -5048,8 +5048,6 @@ with pkgs;

  idris2Packages = recurseIntoAttrs (callPackage ../development/compilers/idris2 { });

-  inherit (idris2Packages) idris2;
-
  inherit (callPackage ../development/tools/database/indradb { })
    indradb-server
    indradb-client