From 93dcca0cc69e2ef7d3bb65d33c87b72e75a9fbc4 Mon Sep 17 00:00:00 2001
From: "R. Ryantm" <ryantm-bot@ryantm.com>
Date: Thu, 30 Jul 2026 10:46:07 +0000
Subject: [PATCH] vscode-extensions.leanprover.lean4: 0.0.237 -> 0.0.239

---
 .../editors/vscode/extensions/leanprover.lean4/default.nix    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix b/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix
index 3777e9acc832..beced777a654 100644
--- a/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix
+++ b/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix
@@ -7,8 +7,8 @@ vscode-utils.buildVscodeMarketplaceExtension {
   mktplcRef = {
     name = "lean4";
     publisher = "leanprover";
-    version = "0.0.237";
-    hash = "sha256-ti3Hi9YSRu95Srj3cN+kbNfcYWjVLHbC6RIUKnH7sWY=";
+    version = "0.0.239";
+    hash = "sha256-6XqjmClUzmyz1nkp/bLv5+F9cj7ZCp4+uAGIJgLDi+o=";
   };
 
   meta = {