From 5d04ea3062555470d30c94a2f41c77c1dfddf43d Mon Sep 17 00:00:00 2001
From: Christoph Jabs <contact@christophjabs.info>
Date: Wed, 4 Feb 2026 16:04:53 +0200
Subject: [PATCH] kissat: use finalAttrs

---
 pkgs/by-name/ki/kissat/package.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/by-name/ki/kissat/package.nix b/pkgs/by-name/ki/kissat/package.nix
index d4f113a724dd..1983bc6b312e 100644
--- a/pkgs/by-name/ki/kissat/package.nix
+++ b/pkgs/by-name/ki/kissat/package.nix
@@ -26,14 +26,14 @@ let
     homepage = "https://fmv.jku.at/kissat";
   };
 in
-stdenv.mkDerivation rec {
+stdenv.mkDerivation (finalAttrs: {
   pname = "kissat";
   version = "4.0.4";
 
   src = fetchFromGitHub {
     owner = "arminbiere";
     repo = "kissat";
-    rev = "rel-${version}";
+    rev = "rel-${finalAttrs.version}";
     sha256 = "sha256-hgB1U2Pmh1hEyNA3ej3fXxxf0YjCRgtOuSddRl6s0eo=";
   };
 
@@ -90,9 +90,9 @@ stdenv.mkDerivation rec {
     libdir=${placeholder "lib"}/lib
     includedir=\''${prefix}/include
 
-    Name: ${pname}
+    Name: ${finalAttrs.pname}
     Description: ${meta.description}
-    Version: ${version}
+    Version: ${finalAttrs.version}
     Libs: -L\''${libdir} -lkissat
     Cflags: -I\''${includedir}
     EOF
@@ -101,4 +101,4 @@ stdenv.mkDerivation rec {
   '';
 
   inherit meta;
-}
+})