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