From 38f811e6f90917cf509ef991b468ea93b9bb13bb Mon Sep 17 00:00:00 2001
From: Hythera <87016780+Hythera@users.noreply.github.com>
Date: Mon, 23 Feb 2026 14:41:51 +0100
Subject: [PATCH] {idris, idrisPackages.idris}: set pname and version

---
 pkgs/development/idris-modules/idris-wrapper.nix | 7 ++++++-
 pkgs/development/idris-modules/with-packages.nix | 2 +-
 2 files changed, 7 insertions(+), 2 deletions(-)

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 ];