diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-08-03 03:21:10 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-08-03 03:21:10 +0000 |
| commit | a352809df0d62b3ad428c52c634f66974a01ba9d (patch) | |
| tree | 04e268031ce0b820ea07b31a20702ea8c8cd9e44 /math/lean/Makefile | |
| parent | 5bdebc6b945fe3ecc89e779f457d09ad8859b109 (diff) | |
| download | ports-a352809df0d62b3ad428c52c634f66974a01ba9d.tar.gz ports-a352809df0d62b3ad428c52c634f66974a01ba9d.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 79d295c961b1..8aca9e7f2569 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.18.3 +DISTVERSION= 3.18.4 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} |