diff --git a/math/mathlibtools/Makefile b/math/mathlibtools/Makefile
index de9d3c29f151..ffd38312ae22 100644
--- a/math/mathlibtools/Makefile
+++ b/math/mathlibtools/Makefile
@@ -1,30 +1,30 @@
 PORTNAME=	mathlibtools
-DISTVERSION=	1.1.2
+DISTVERSION=	1.2.0
 CATEGORIES=	math python
 MASTER_SITES=	CHEESESHOP
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Lean prover mathlib supporting tools
 WWW=		https://github.com/leanprover-community/mathlib-tools
 
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}atomicwrites>0:devel/py-atomicwrites@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}certifi>0:security/py-certifi@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}click>0:devel/py-click@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}gitpython>=2.1.11:devel/py-gitpython@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}networkx>0:math/py-networkx@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pydot>0:graphics/py-pydot@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pygithub>0:devel/py-pygithub@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}pyaml>=3.13:textproc/py-pyaml@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}requests>0:www/py-requests@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}toml>=0.10.0:textproc/py-toml@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}tqdm>0:misc/py-tqdm@${PY_FLAVOR}
 
 USES=		python:3.6+
 USE_PYTHON=	distutils noflavors autoplist
 
 NO_ARCH=	yes
 
 .include <bsd.port.mk>
diff --git a/math/mathlibtools/distinfo b/math/mathlibtools/distinfo
index 139270e381e6..7bf57d9c0379 100644
--- a/math/mathlibtools/distinfo
+++ b/math/mathlibtools/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1662478484
-SHA256 (mathlibtools-1.1.2.tar.gz) = 25b9dbdc52b20753407a107cb59c4157a77b24908e81664f31631a14400ece43
-SIZE (mathlibtools-1.1.2.tar.gz) = 26556
+TIMESTAMP = 1667631450
+SHA256 (mathlibtools-1.2.0.tar.gz) = 8c85a23a67b50333797d4682b91ad9fbd204a4e2edaf5e3d516b37598bcfc918
+SIZE (mathlibtools-1.2.0.tar.gz) = 27987