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