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 /math/lean/Makefile | |
| parent | fe36327d28fa90e2b2bda1905a81828c20fc02f6 (diff) | |
| download | ports-59da5ce56938456008a09e4d9b78996adaf2a66e.tar.gz ports-59da5ce56938456008a09e4d9b78996adaf2a66e.zip | |
Notes
Diffstat (limited to 'math/lean/Makefile')
| -rw-r--r-- | math/lean/Makefile | 3 |
1 files changed, 1 insertions, 2 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 |