diff options
Diffstat (limited to 'math/lean4/Makefile')
| -rw-r--r-- | math/lean4/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/math/lean4/Makefile b/math/lean4/Makefile index acc607f13634..8ac3190497f2 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,7 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.20.1 -PORTREVISION= 1 +DISTVERSION= 4.22.0 CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment MAINTAINER= yuri@FreeBSD.org |