wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

lean 3.4.2

Browse source 
Closes #36159.

Signed-off-by: Chongyu Zhu <i@lembacon.com>
This commit is contained in:
Sean Leather 2019-01-18 17:32:31 +02:00 committed by Chongyu Zhu
parent c8c56a16a2
commit f2f8055eb1
No known key found for this signature in database
GPG key ID: 1A43E3C9100B38F5
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.github.io/"
url "https://github.com/leanprover/lean/archive/v3.4.1.tar.gz"
sha256 "c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320"
url "https://github.com/leanprover/lean/archive/v3.4.2.tar.gz"
sha256 "ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87"
head "https://github.com/leanprover/lean.git"
bottle do