diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-08-27 19:00:09 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-08-27 19:00:09 +0000 |
| commit | 3137a9b4240e74864470f6b0da14e16465e6432a (patch) | |
| tree | 536ea296d0f5a6651296ecec26e4b357f22fb23a /math/lean | |
| parent | be43072b8d780dc7357f9b105c888814a8f80171 (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 8aca9e7f2569..91b9dbb41dcd 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.18.4 +DISTVERSION= 3.19.0 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/lean/distinfo b/math/lean/distinfo index b5d230f2f0e9..7fa5f690369d 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1596424399 -SHA256 (leanprover-community-lean-v3.18.4_GH0.tar.gz) = 9b7c88e5a6c56ccd9674de96a4806db40e67b96cc13b7382cce497b9b4a738e2 -SIZE (leanprover-community-lean-v3.18.4_GH0.tar.gz) = 1848583 +TIMESTAMP = 1598554290 +SHA256 (leanprover-community-lean-v3.19.0_GH0.tar.gz) = b99ad667a95418d680f378feb6c457d44f2327a933ee819e8315580528a758fe +SIZE (leanprover-community-lean-v3.19.0_GH0.tar.gz) = 1855709 |