freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/lean: Update 3.26.0 -> 3.27.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich
2021-02-26 17:07:45 +00:00
parent 66691ae9eb
commit 392f1bde4d
3 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean/Makefile
View File

@@ -2,7 +2,7 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.26.0
DISTVERSION= 3.27.0
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

6
math/lean/distinfo
View File

@@ -1,3 +1,3 @@
TIMESTAMP = 1611872673
SHA256 (leanprover-community-lean-v3.26.0_GH0.tar.gz) = af87da8900df53b2cbc68fa6681d501967fc8fc116ebc58fe10d7a04e982a89d
SIZE (leanprover-community-lean-v3.26.0_GH0.tar.gz) = 1863155
TIMESTAMP = 1614358220
SHA256 (leanprover-community-lean-v3.27.0_GH0.tar.gz) = b6e453f44a5a353d7b7ad807ba13f87735ee51c913e2aff1113fc35dfe8dc214
SIZE (leanprover-community-lean-v3.27.0_GH0.tar.gz) = 1868861

1
math/lean/pkg-plist
View File

@@ -262,6 +262,7 @@ include/lean_ext/library/tactic/vm_local_context.h
include/lean_ext/library/tactic/vm_monitor.h
include/lean_ext/library/tactic/vm_type_context.h
include/lean_ext/library/time_task.h
include/lean_ext/library/tlean_exporter.h
include/lean_ext/library/trace.h
include/lean_ext/library/type_context.h
include/lean_ext/library/typed_expr.h