From 34e99ac01dffb7b66c214f9c0b9417c7ea51af38 Mon Sep 17 00:00:00 2001
From: "R. Ryantm" <ryantm-bot@ryantm.com>
Date: Wed, 26 Mar 2025 08:02:14 +0000
Subject: [PATCH] saw-tools: 1.2 -> 1.3

---
 pkgs/by-name/sa/saw-tools/package.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/by-name/sa/saw-tools/package.nix b/pkgs/by-name/sa/saw-tools/package.nix
index bd0f2d31f885..ca7f31669d94 100644
--- a/pkgs/by-name/sa/saw-tools/package.nix
+++ b/pkgs/by-name/sa/saw-tools/package.nix
@@ -13,11 +13,11 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "saw-tools";
-  version = "1.2";
+  version = "1.3";
 
   src = fetchurl {
     url = "https://github.com/GaloisInc/saw-script/releases/download/v${finalAttrs.version}/saw-${finalAttrs.version}-ubuntu-22.04-X64-with-solvers.tar.gz";
-    hash = "sha256-A99BCiVV5Ep/PL7VSDNYcvr177Q+FKdDrxhFJLW/iU4=";
+    hash = "sha256-1t1uGAQXCBC//RNBxQfZIfg00At600An9HaEIcVBEy0=";
   };
 
   buildInputs = [