{idris, idrisPackages.idris}: set pname and version

2026-02-23 14:41:51 +01:00
parent 2f69ef72bd
commit 38f811e6f9
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 ];