diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-30 15:50:58 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-30 15:50:58 +0000 |
commit | b1a1f0940e31395f209464cf3b9cb0f26894f35a (patch) | |
tree | 16027e2f88f6599135607e3463f7ba20012b3188 /math/lean/Makefile | |
parent | 5bafbaccf438a3fe435dfea497d0fd71d87d0c2a (diff) | |
download | ports-b1a1f0940e31395f209464cf3b9cb0f26894f35a.tar.gz ports-b1a1f0940e31395f209464cf3b9cb0f26894f35a.zip |
Notes
Diffstat (limited to 'math/lean/Makefile')
-rw-r--r-- | math/lean/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index 1e5ecc08f23a..79d295c961b1 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.18.2 +DISTVERSION= 3.18.3 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} |