From 3e059aecbdeb7aba50943fcfdb3b2c3c7c8748a8 Mon Sep 17 00:00:00 2001
From: Guy Chronister <guychronister@outlook.com>
Date: Wed, 21 Jan 2026 19:29:06 -0600
Subject: [PATCH] ocamlPackages.dedukti: migrate to finalAttrs

---
 pkgs/development/ocaml-modules/dedukti/default.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/ocaml-modules/dedukti/default.nix b/pkgs/development/ocaml-modules/dedukti/default.nix
index 6e56eab01494..e1f376d88fc9 100644
--- a/pkgs/development/ocaml-modules/dedukti/default.nix
+++ b/pkgs/development/ocaml-modules/dedukti/default.nix
@@ -6,7 +6,7 @@
   menhir,
 }:
 
-buildDunePackage rec {
+buildDunePackage (finalAttrs: {
   pname = "dedukti";
   version = "2.7";
 
@@ -14,8 +14,8 @@ buildDunePackage rec {
 
   src = fetchFromGitHub {
     owner = "Deducteam";
-    repo = pname;
-    rev = "v${version}";
+    repo = "dedukti";
+    rev = "v${finalAttrs.version}";
     hash = "sha256-SFxbgq2znO+OCEFzuekVquvtOEuCQanseKy+iZAeWbc=";
   };
 
@@ -28,7 +28,7 @@ buildDunePackage rec {
     homepage = "https://deducteam.github.io";
     description = "Logical framework based on the λΠ-calculus modulo rewriting";
     license = lib.licenses.cecill-b;
-    changelog = "https://github.com/Deducteam/Dedukti/raw/${version}/CHANGELOG.md";
+    changelog = "https://github.com/Deducteam/Dedukti/raw/${finalAttrs.version}/CHANGELOG.md";
     maintainers = with lib.maintainers; [ bcdarwin ];
   };
-}
+})