diff --git a/cad/py-pymtl/Makefile b/cad/py-pymtl/Makefile
index 63ac4e1e889d..2fa7625e29f6 100644
--- a/cad/py-pymtl/Makefile
+++ b/cad/py-pymtl/Makefile
@@ -1,25 +1,25 @@
 PORTNAME=	pymtl
-DISTVERSION=	3.1.6
+DISTVERSION=	3.1.7
 CATEGORIES=	cad python
 MASTER_SITES=	CHEESESHOP
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 PKGNAMESUFFIX=	${PORTVERSION:R:R}
 DISTNAME=	${PORTNAME}${PORTVERSION:R:R}-${DISTVERSION}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Python-based hardware generation, simulation, verification framework
 
 LICENSE=	BSD3CLAUSE
 
 RUN_DEPENDS=	\
 		${PYTHON_PKGNAMEPREFIX}cffi>0:devel/py-cffi@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}greenlet>0:devel/py-greenlet@${PY_FLAVOR} \
-		${PYTHON_PKGNAMEPREFIX}hypothesis>0:devel/py-hypothesis@${PY_FLAVOR} \
-		${PYTHON_PKGNAMEPREFIX}pytest>=0:devel/py-pytest@${PY_FLAVOR}
+		${PYTHON_PKGNAMEPREFIX}hypothesis>=4.18.1:devel/py-hypothesis@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}pytest>0:devel/py-pytest@${PY_FLAVOR}
 
 USES=		python:3.6+
 USE_PYTHON=	autoplist distutils
 
 NO_ARCH=	yes
 
 .include <bsd.port.mk>
diff --git a/cad/py-pymtl/distinfo b/cad/py-pymtl/distinfo
index 18c674ed6a60..9916b41d99fa 100644
--- a/cad/py-pymtl/distinfo
+++ b/cad/py-pymtl/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1640560195
-SHA256 (pymtl3-3.1.6.tar.gz) = 3359716e9641f4cd48c92c5e5a60ba4e3b1c5b7c360200fc5283884071aa8824
-SIZE (pymtl3-3.1.6.tar.gz) = 348155
+TIMESTAMP = 1641697965
+SHA256 (pymtl3-3.1.7.tar.gz) = 3d25012fec4132df1cd08eab41a86fd76f937bc9a482d499e729eafd3d36f8db
+SIZE (pymtl3-3.1.7.tar.gz) = 348366