From cedbd25f6c8106d660194973042f483b4c87ab07 Mon Sep 17 00:00:00 2001
From: Porkepix <porkepix@gmail.com>
Date: Thu, 3 Feb 2022 13:19:42 +0100
Subject: [PATCH] lean 3.39.0

Closes #94411.

Signed-off-by: Sean Molenaar <1484494+SMillerDev@users.noreply.github.com>
Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
---
 Formula/lean.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Formula/lean.rb b/Formula/lean.rb
index 7653b7297cd..267a8a8f7f5 100644
--- a/Formula/lean.rb
+++ b/Formula/lean.rb
@@ -1,8 +1,8 @@
 class Lean < Formula
   desc "Theorem prover"
   homepage "https://leanprover-community.github.io/"
-  url "https://github.com/leanprover-community/lean/archive/v3.38.0.tar.gz"
-  sha256 "3b6fdfc2847a5553511943c88e166b3c14cafb78fecab33eb5acc89b9c2952a1"
+  url "https://github.com/leanprover-community/lean/archive/v3.39.0.tar.gz"
+  sha256 "8fb54fcf3cf43b47bda09a2941237519e4dfb23d580eec6eba1b394fdbd46494"
   license "Apache-2.0"
   head "https://github.com/leanprover-community/lean.git", branch: "master"