{idris, idrisPackages.idris}: set pname and version (#493324)

2026-02-25 06:27:40 +00:00
parent c0e25ab217 38f811e6f9
commit 11900e1c82
2 changed files with 7 additions and 2 deletions
@@ -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 = ''
@@ -13,7 +13,7 @@ let
 in
 lib.appendToName "with-packages" (symlinkJoin {

-  inherit (idris) name;
+  inherit (idris) pname version;

  paths = paths ++ [ idris ];