From 1d8e1b423858d1dae46014f847cfabd140b43825 Mon Sep 17 00:00:00 2001
From: error <github@undefinedbehavior.de>
Date: Fri, 22 May 2026 08:20:49 +0200
Subject: [PATCH] verifpal: 0.31.2 -> 0.51.0

---
 pkgs/by-name/ve/verifpal/package.nix | 17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

diff --git a/pkgs/by-name/ve/verifpal/package.nix b/pkgs/by-name/ve/verifpal/package.nix
index 652cf00f78a0..296cd72b4045 100644
--- a/pkgs/by-name/ve/verifpal/package.nix
+++ b/pkgs/by-name/ve/verifpal/package.nix
@@ -1,26 +1,21 @@
 {
   lib,
   fetchFromGitHub,
-  buildGoModule,
-  pigeon,
+  rustPlatform,
 }:
 
-buildGoModule (finalAttrs: {
+rustPlatform.buildRustPackage (finalAttrs: {
   pname = "verifpal";
-  version = "0.31.2";
+  version = "0.51.0";
 
   src = fetchFromGitHub {
     owner = "symbolicsoft";
     repo = "verifpal";
-    rev = "v${finalAttrs.version}";
-    hash = "sha256-k8SGCo36tk4Etg4jt0NDeEj1BmSYjaZZptNNnrOXs4E=";
+    tag = "v${finalAttrs.version}";
+    hash = "sha256-k13pf7uWTuxeTAvY5Dw0WYA6PGa6uvsX537HLCHP2qE=";
   };
 
-  vendorHash = "sha256-Vg375DBPvurRpwl918AGQU+wJGnB1tYisgch9FA+Y/g=";
-
-  nativeBuildInputs = [ pigeon ];
-
-  subPackages = [ "cmd/verifpal" ];
+  cargoHash = "sha256-7aW3ppvtnqgmBtuwVkM1jPjtSRtB1dSjpogz0XfzKpM=";
 
   meta = {
     homepage = "https://verifpal.com/";