From 5c120e0f3f4797206a3f849fde1f3b8ddda906f8 Mon Sep 17 00:00:00 2001
From: error <github@undefinedbehavior.de>
Date: Sat, 21 Feb 2026 14:44:17 +0100
Subject: [PATCH] verifpal: 0.27.4 -> 0.31.2

---
 pkgs/by-name/ve/verifpal/package.nix | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/pkgs/by-name/ve/verifpal/package.nix b/pkgs/by-name/ve/verifpal/package.nix
index a2bdd9b5fda9..652cf00f78a0 100644
--- a/pkgs/by-name/ve/verifpal/package.nix
+++ b/pkgs/by-name/ve/verifpal/package.nix
@@ -7,27 +7,21 @@
 
 buildGoModule (finalAttrs: {
   pname = "verifpal";
-  version = "0.27.4";
+  version = "0.31.2";
 
   src = fetchFromGitHub {
     owner = "symbolicsoft";
     repo = "verifpal";
     rev = "v${finalAttrs.version}";
-    hash = "sha256-kBeQ7U97Ezj85A/FbNnE1dXR7VJzx0EUrDbzwOgKl8E=";
+    hash = "sha256-k8SGCo36tk4Etg4jt0NDeEj1BmSYjaZZptNNnrOXs4E=";
   };
 
-  vendorHash = "sha256-FvboLGdT+/W5on7NSzRp9QfV2peNVICypSFWAGFakLU=";
+  vendorHash = "sha256-Vg375DBPvurRpwl918AGQU+wJGnB1tYisgch9FA+Y/g=";
 
   nativeBuildInputs = [ pigeon ];
 
   subPackages = [ "cmd/verifpal" ];
 
-  # goversioninfo is for Windows only and can be skipped during go generate
-  preBuild = ''
-    substituteInPlace cmd/verifpal/main.go --replace "go:generate goversioninfo" "(disabled goversioninfo)"
-    go generate verifpal.com/cmd/verifpal
-  '';
-
   meta = {
     homepage = "https://verifpal.com/";
     description = "Cryptographic protocol analysis for students and engineers";