diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix
index 8aee1bf9fa69..5dee53a894fe 100644
--- a/pkgs/development/idris-modules/idris-wrapper.nix
+++ b/pkgs/development/idris-modules/idris-wrapper.nix
@@ -8,7 +8,12 @@
 }:
 
 symlinkJoin {
-  inherit (idris-no-deps) name src meta;
+  inherit (idris-no-deps)
+    pname
+    version
+    src
+    meta
+    ;
   paths = [ idris-no-deps ];
   nativeBuildInputs = [ makeWrapper ];
   postBuild = ''
diff --git a/pkgs/development/idris-modules/with-packages.nix b/pkgs/development/idris-modules/with-packages.nix
index 4dd4d4a836c2..3e46ae162968 100644
--- a/pkgs/development/idris-modules/with-packages.nix
+++ b/pkgs/development/idris-modules/with-packages.nix
@@ -13,7 +13,7 @@ let
 in
 lib.appendToName "with-packages" (symlinkJoin {
 
-  inherit (idris) name;
+  inherit (idris) pname version;
 
   paths = paths ++ [ idris ];