diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-08-28 21:12:15 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-08-28 21:53:19 +0000 |
| commit | 7037112d6504b85bbbe83c43e6031a0c85e353fa (patch) | |
| tree | 924a4f50169bcf73062aebe36ad74635bdaf8f96 /math/lean | |
| parent | 7a2ed08d46131e0f38fe58ffb9f4b26a0f6b6b4f (diff) | |
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 653de9239fc4..4bb9c2592c6b 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.46.0 +DISTVERSION= 3.47.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index 580a671f8775..e0eb5a852253 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1660082380 -SHA256 (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 3933dc7f9d795d31dd28c3a6548c8949e26e7f098fce11ee0abb12c4d4562bfc -SIZE (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 1913857 +TIMESTAMP = 1661720611 +SHA256 (leanprover-community-lean-v3.47.0_GH0.tar.gz) = 2655f9530aa38caa4468870add4ca32381af03bfde55282ff680998d494c5d70 +SIZE (leanprover-community-lean-v3.47.0_GH0.tar.gz) = 1917990 |