diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-01-28 22:41:14 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-01-28 22:41:14 +0000 |
| commit | ec98e966ef22f708faaf527b9bc0976917ac8eb2 (patch) | |
| tree | 4839a80abca3b5149676ddab77759517251396c3 /math/lean | |
| parent | 2ca9b67677778acd62f0242f4e8d637b4a061b27 (diff) | |
Notes
Diffstat (limited to 'math/lean')
| -rw-r--r-- | math/lean/Makefile | 2 | ||||
| -rw-r--r-- | math/lean/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index 4a5fc4100636..8f4840391a64 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.25.0 +DISTVERSION= 3.26.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index e642e2d4632d..076eb2dafe09 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1611374958 -SHA256 (leanprover-community-lean-v3.25.0_GH0.tar.gz) = 1c6a9e5f42ba77d63862700560f4442a2fc9ca2247a9b8219b9cec4f617c9f0b -SIZE (leanprover-community-lean-v3.25.0_GH0.tar.gz) = 1862968 +TIMESTAMP = 1611872673 +SHA256 (leanprover-community-lean-v3.26.0_GH0.tar.gz) = af87da8900df53b2cbc68fa6681d501967fc8fc116ebc58fe10d7a04e982a89d +SIZE (leanprover-community-lean-v3.26.0_GH0.tar.gz) = 1863155 |