diff --git a/pkgs/development/compilers/idris2/idris2.nix b/pkgs/by-name/id/idris2/package.nix
similarity index 100%
rename from pkgs/development/compilers/idris2/idris2.nix
rename to pkgs/by-name/id/idris2/package.nix
diff --git a/pkgs/development/compilers/idris2/tests.nix b/pkgs/by-name/id/idris2/tests.nix
similarity index 100%
rename from pkgs/development/compilers/idris2/tests.nix
rename to pkgs/by-name/id/idris2/tests.nix
diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix
index 57031f673d3e..1083a9b653f8 100644
--- a/pkgs/development/compilers/idris2/default.nix
+++ b/pkgs/development/compilers/idris2/default.nix
@@ -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 { };
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c967d8f89074..4c4bf0ac88c9 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.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