diff --git a/packaging/homebrew/lean-studio.rb b/packaging/homebrew/lean-studio.rb
index bbb7a5d..7c2b23d 100644
--- a/packaging/homebrew/lean-studio.rb
+++ b/packaging/homebrew/lean-studio.rb
@@ -7,9 +7,9 @@
 cask "lean-studio" do
   arch arm: "arm64", intel: "x64"
 
-  version "1.3.0"
-  sha256 arm:   "7fb1447c34990c490d05d77ea8fad9634064bbe3862ec0c184c7818aebb65c6f",
-         intel: "0877b1947a01a943cc2f2a045632c68c06de0bf16ca67bffe7794642ac87ce0e"
+  version "1.5.0"
+  sha256 arm:   "b1cf5965b5e8dd2f2f0b3745184b4a23b605f25c151c31ab6d02f4b07d2eb5d7",
+         intel: "7592ec104f3713138ce91456ae11bb8821a99dd27e704dbdcf11a8cc0bb9ad07"
 
   url "https://github.com/keithadler/leanstudio/releases/download/v#{version}/LeanStudio-#{version}-osx-#{arch}.zip"
   name "Lean Studio"
diff --git a/packaging/winget/KeithAdler.LeanStudio.installer.yaml b/packaging/winget/KeithAdler.LeanStudio.installer.yaml
index df18306..331727a 100644
--- a/packaging/winget/KeithAdler.LeanStudio.installer.yaml
+++ b/packaging/winget/KeithAdler.LeanStudio.installer.yaml
@@ -3,19 +3,19 @@
 # installed as a portable app and put on the PATH (rather than a symlink to the exe).
 
 PackageIdentifier: KeithAdler.LeanStudio
-PackageVersion: 1.3.0
+PackageVersion: 1.5.0
 InstallerType: zip
 NestedInstallerType: portable
 NestedInstallerFiles:
   - RelativeFilePath: LeanStudio\LeanStudio.exe
 ArchiveBinariesDependOnPath: true
-ReleaseDate: 2026-10-09
+ReleaseDate: 2026-10-11
 Installers:
   - Architecture: x64
-    InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.3.0/LeanStudio-1.3.0-win-x64.zip
-    InstallerSha256: 74A3C5C86683623353AC68EC9788B17D1B385E0B2495CEDCE574BFB0E8851F3D
+    InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.5.0/LeanStudio-1.5.0-win-x64.zip
+    InstallerSha256: 1E1560F74C27F7B781E31C6736BA7FE78DBF8C5CF2E84595437493E8E5E31B2E
   - Architecture: arm64
-    InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.3.0/LeanStudio-1.3.0-win-arm64.zip
-    InstallerSha256: 10D4392BD2CF9C37EDBAFBB02442750E6E5C3C4CE26FED63174142CD46D49858
+    InstallerUrl: https://github.com/keithadler/leanstudio/releases/download/v1.5.0/LeanStudio-1.5.0-win-arm64.zip
+    InstallerSha256: B7601E41E613C6EB23F1598EA8DAA767609351AEE62CFCC26F0AFA8548BE03D8
 ManifestType: installer
 ManifestVersion: 1.9.0
diff --git a/packaging/winget/KeithAdler.LeanStudio.locale.en-US.yaml b/packaging/winget/KeithAdler.LeanStudio.locale.en-US.yaml
index 6cbf6d6..c0c0217 100644
--- a/packaging/winget/KeithAdler.LeanStudio.locale.en-US.yaml
+++ b/packaging/winget/KeithAdler.LeanStudio.locale.en-US.yaml
@@ -1,7 +1,7 @@
 # yaml-language-server: $schema=https://aka.ms/winget-manifest.defaultLocale.1.9.0.schema.json
 
 PackageIdentifier: KeithAdler.LeanStudio
-PackageVersion: 1.3.0
+PackageVersion: 1.5.0
 PackageLocale: en-US
 Publisher: Keith Adler
 PublisherUrl: https://github.com/keithadler
@@ -29,6 +29,6 @@ Tags:
   - mathematics
   - proof-assistant
   - theorem-prover
-ReleaseNotesUrl: https://github.com/keithadler/leanstudio/releases/tag/v1.3.0
+ReleaseNotesUrl: https://github.com/keithadler/leanstudio/releases/tag/v1.5.0
 ManifestType: defaultLocale
 ManifestVersion: 1.9.0
diff --git a/packaging/winget/KeithAdler.LeanStudio.yaml b/packaging/winget/KeithAdler.LeanStudio.yaml
index 77789c4..7022eea 100644
--- a/packaging/winget/KeithAdler.LeanStudio.yaml
+++ b/packaging/winget/KeithAdler.LeanStudio.yaml
@@ -2,7 +2,7 @@
 # Lean Studio, by Keith Adler (@keithadler). MIT License. See docs/packaging/winget.md.
 
 PackageIdentifier: KeithAdler.LeanStudio
-PackageVersion: 1.3.0
+PackageVersion: 1.5.0
 DefaultLocale: en-US
 ManifestType: version
 ManifestVersion: 1.9.0