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"; }; })