diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-08-09 15:20:43 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-08-09 15:57:59 -0700 |
| commit | 467f9760bfc8301f93f324042d14b14426eb7ea7 (patch) | |
| tree | 077cdbf2ab6019ca05bf372d64b15c1b5625c312 /math/lean | |
| parent | net/grpcui: Update 1.3.0 -> 1.3.1 (diff) | |
math/lean: Update 3.45.0 -> 3.46.0
Reported by: portscout
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 d2177461a2ed..653de9239fc4 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.45.0 +DISTVERSION= 3.46.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index fbad52f89658..580a671f8775 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1657855890 -SHA256 (leanprover-community-lean-v3.45.0_GH0.tar.gz) = 92d2676e46447a62103dd17b7a5cb17ab7054dc2878be345a846fb03d8e6bcf5 -SIZE (leanprover-community-lean-v3.45.0_GH0.tar.gz) = 1913638 +TIMESTAMP = 1660082380 +SHA256 (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 3933dc7f9d795d31dd28c3a6548c8949e26e7f098fce11ee0abb12c4d4562bfc +SIZE (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 1913857 |