From b941fa3980986ced23a24c0b75e854d22a5bb209 Mon Sep 17 00:00:00 2001
From: thelissimus <thelissimus@tuta.io>
Date: Sat, 28 Mar 2026 12:19:58 +0500
Subject: [PATCH] saw-tools: fix meta homepage and missing mainProgram

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

diff --git a/pkgs/by-name/sa/saw-tools/package.nix b/pkgs/by-name/sa/saw-tools/package.nix
index fe8b07b33260..888a92510f4b 100644
--- a/pkgs/by-name/sa/saw-tools/package.nix
+++ b/pkgs/by-name/sa/saw-tools/package.nix
@@ -53,10 +53,11 @@ stdenv.mkDerivation (finalAttrs: {
 
   meta = {
     description = "Tools for software verification and analysis";
-    homepage = "https://saw.galois.com";
+    homepage = "https://tools.galois.com/saw";
     sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ];
     license = lib.licenses.bsd3;
     platforms = lib.attrNames sources;
     maintainers = [ lib.maintainers.thoughtpolice ];
+    mainProgram = "saw";
   };
 })