diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-30 00:55:24 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-30 00:55:24 +0000 |
| commit | 59da5ce56938456008a09e4d9b78996adaf2a66e (patch) | |
| tree | 05868f5fed9ad3ae2dab527b7ff1e24274d570d3 | |
| parent | Recover sort sequence. (diff) | |
math/lean: Update 3.17.1 -> 3.18.2
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=543698
| -rw-r--r-- | math/lean/Makefile | 3 | ||||
| -rw-r--r-- | math/lean/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index 3041c9c1d4fc..1e5ecc08f23a 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.17.1 +DISTVERSION= 3.18.2 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -17,7 +17,6 @@ LIB_DEPENDS= libgmp.so:math/gmp USES= cmake compiler:c++11-lang USE_GITHUB= yes GH_ACCOUNT= leanprover-community -USE_LDCONFIG= yes WRKSRC_SUBDIR= src diff --git a/math/lean/distinfo b/math/lean/distinfo index 6afc72ffae22..5f5eda94230c 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1595369167 -SHA256 (leanprover-community-lean-v3.17.1_GH0.tar.gz) = 6df0bfd67986546d751fd91513f9fd2fdf5d4f075ceec31f8c4cc23e5956b8a9 -SIZE (leanprover-community-lean-v3.17.1_GH0.tar.gz) = 1843488 +TIMESTAMP = 1596067169 +SHA256 (leanprover-community-lean-v3.18.2_GH0.tar.gz) = 71f61781de95f62d22ac121ba165ac2f515453f8a8db13c5b60e2db9f0bc2608 +SIZE (leanprover-community-lean-v3.18.2_GH0.tar.gz) = 1847949 |