From ac24a9cde52ed7bbb491ca8a837facce7847800f Mon Sep 17 00:00:00 2001
From: Yiyu Zhou <yiyuzhou19@gmail.com>
Date: Tue, 14 Oct 2025 23:44:05 -0700
Subject: [PATCH 1/3] gappa: 1.6.0 -> 1.6.1

---
 pkgs/by-name/ga/gappa/package.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/by-name/ga/gappa/package.nix b/pkgs/by-name/ga/gappa/package.nix
index 0d853df0ca2c..d5e7039469bb 100644
--- a/pkgs/by-name/ga/gappa/package.nix
+++ b/pkgs/by-name/ga/gappa/package.nix
@@ -5,7 +5,7 @@
   gmp,
   mpfr,
   boost,
-  version ? "1.6.0",
+  version ? "1.6.1",
 }:
 
 stdenv.mkDerivation {
@@ -14,7 +14,7 @@ stdenv.mkDerivation {
 
   src = fetchurl {
     url = "https://gappa.gitlabpages.inria.fr/releases/gappa-${version}.tar.gz";
-    hash = "sha256-aNht0Ttv+gzS9eLzu4PQitRK/zQN9QQ4YOEjQ2d9xIM=";
+    hash = "sha256-1ux5ImKR8edXyvL21w3jY2o4/fATEjO2SMzS8B0o8Ok=";
   };
 
   buildInputs = [

From 69ae0e586f19d6fbd629d80bdccbdca2221b159d Mon Sep 17 00:00:00 2001
From: Yiyu Zhou <yiyuzhou19@gmail.com>
Date: Tue, 14 Oct 2025 23:46:41 -0700
Subject: [PATCH 2/3] gappa: add nix-update-script and versionCheckHook

---
 pkgs/by-name/ga/gappa/package.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/pkgs/by-name/ga/gappa/package.nix b/pkgs/by-name/ga/gappa/package.nix
index d5e7039469bb..46830b039f15 100644
--- a/pkgs/by-name/ga/gappa/package.nix
+++ b/pkgs/by-name/ga/gappa/package.nix
@@ -6,6 +6,8 @@
   mpfr,
   boost,
   version ? "1.6.1",
+  versionCheckHook,
+  nix-update-script,
 }:
 
 stdenv.mkDerivation {
@@ -26,6 +28,11 @@ stdenv.mkDerivation {
   buildPhase = "./remake";
   installPhase = "./remake install";
 
+  doInstallCheck = true;
+  nativeInstallCheckInputs = [ versionCheckHook ];
+
+  passthru.updateScript = nix-update-script { };
+
   meta = {
     homepage = "https://gappa.gitlabpages.inria.fr/";
     description = "Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic";

From e9daeacc1ad0f100f5a3c590adb3a33f901136b1 Mon Sep 17 00:00:00 2001
From: Yiyu Zhou <yiyuzhou19@gmail.com>
Date: Tue, 14 Oct 2025 23:50:45 -0700
Subject: [PATCH 3/3] gappa: cleanup

---
 pkgs/by-name/ga/gappa/package.nix | 28 +++++++++++++++++++++-------
 1 file changed, 21 insertions(+), 7 deletions(-)

diff --git a/pkgs/by-name/ga/gappa/package.nix b/pkgs/by-name/ga/gappa/package.nix
index 46830b039f15..6df1dded2850 100644
--- a/pkgs/by-name/ga/gappa/package.nix
+++ b/pkgs/by-name/ga/gappa/package.nix
@@ -5,28 +5,42 @@
   gmp,
   mpfr,
   boost,
-  version ? "1.6.1",
   versionCheckHook,
   nix-update-script,
 }:
 
-stdenv.mkDerivation {
+stdenv.mkDerivation (finalAttrs: {
   pname = "gappa";
-  inherit version;
+  version = "1.6.1";
 
   src = fetchurl {
-    url = "https://gappa.gitlabpages.inria.fr/releases/gappa-${version}.tar.gz";
+    url = "https://gappa.gitlabpages.inria.fr/releases/gappa-${finalAttrs.version}.tar.gz";
     hash = "sha256-1ux5ImKR8edXyvL21w3jY2o4/fATEjO2SMzS8B0o8Ok=";
   };
 
+  strictDeps = true;
+
   buildInputs = [
     gmp
     mpfr
     boost.dev
   ];
 
-  buildPhase = "./remake";
-  installPhase = "./remake install";
+  buildPhase = ''
+    runHook preBuild
+
+    ./remake
+
+    runHook postBuild
+  '';
+
+  installPhase = ''
+    runHook preInstall
+
+    ./remake install
+
+    runHook postInstall
+  '';
 
   doInstallCheck = true;
   nativeInstallCheckInputs = [ versionCheckHook ];
@@ -44,4 +58,4 @@ stdenv.mkDerivation {
     maintainers = with lib.maintainers; [ vbgl ];
     platforms = lib.platforms.all;
   };
-}
+})