saw-tools: fix meta homepage and missing mainProgram

2026-03-28 18:45:42 +05:00
parent e5deaec3a0
commit b941fa3980
1 changed files with 2 additions and 1 deletions
@@ -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";
  };
 })