sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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>
master
Porkepix 2022-02-03 13:19:42 +01:00 committed by BrewTestBot
parent 75a674293f
commit cedbd25f6c
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Formula/lean.rb
View File

@ -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"