cpet
/
openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update to lean 3.48.0

This commit is contained in:
tb 2022-08-31 14:13:50 +00:00
parent 2a9badbfff
commit 5514f21fef
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean/Makefile
View File

@ -2,7 +2,7 @@ COMMENT = interactive and automated theorem prover
GH_ACCOUNT = leanprover-community
GH_PROJECT = lean
GH_TAGNAME = v3.42.1
GH_TAGNAME = v3.48.0
CATEGORIES = math lang

4
math/lean/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (lean-3.42.1.tar.gz) = W4y/3qbPTeVIhGcpeViHaqCzp57VgG99DwGgw5a+tOI=
SIZE (lean-3.42.1.tar.gz) = 1908398
SHA256 (lean-3.48.0.tar.gz) = B+QrWwQIJbb8KzIHhFQeHcyU0YnbHvn1FXPsPq7HRyc=
SIZE (lean-3.48.0.tar.gz) = 1918012