From 6760abbd3d6c2c8a1e4ff2e0fa9dbe8e61af3e30 Mon Sep 17 00:00:00 2001
From: 7c6f434c <7c6f434c@mail.ru>
Date: Sat, 3 Jan 2026 15:17:41 +0100
Subject: [PATCH] iprover: 3.8.1 -> 3.9.2

---
 pkgs/by-name/ip/iprover/package.nix | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/pkgs/by-name/ip/iprover/package.nix b/pkgs/by-name/ip/iprover/package.nix
index 7546522b33a7..e211ee4eb5ee 100644
--- a/pkgs/by-name/ip/iprover/package.nix
+++ b/pkgs/by-name/ip/iprover/package.nix
@@ -10,13 +10,13 @@
 
 stdenv.mkDerivation {
   pname = "iprover";
-  version = "3.8.1";
+  version = "3.9.2";
 
   src = fetchFromGitLab {
     owner = "korovin";
     repo = "iprover";
-    rev = "f61edb113b705606c7314dc4dce0687832c3169f";
-    hash = "sha256-XXqbEoYKjoktE3ZBEIEFjLhA1B75zhnfPszhe8SvbI8=";
+    rev = "v3.9.2";
+    hash = "sha256-CbqPtP2pKLFgo67EF0IhvIdv1dAog2vb3Es0asmmSyY=";
   };
 
   postPatch = ''
@@ -45,6 +45,10 @@ stdenv.mkDerivation {
 
   preConfigure = "patchShebangs .";
 
+  env = {
+    NIX_CFLAGS_COMPILE = "-std=gnu17";
+  };
+
   installPhase = ''
     runHook preInstall
     mkdir -p "$out/bin"