From 25228b560ccc12c780c2b7f492df0994ceedd9ca Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Tue, 7 Feb 2023 15:28:01 +0000
Subject: [PATCH] Install mypy>=1.0.0 rather than git HEAD, see #121

---
 py/py_env.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/py/py_env.sh b/py/py_env.sh
index bcff3804..52fab29b 100644
--- a/py/py_env.sh
+++ b/py/py_env.sh
@@ -10,8 +10,8 @@ else
 	if [ ! -d $BUILDDIR ] ; then
 		echo "Installing PySDL2, MyPy, and Black in $BUILDDIR"
 		python3 -m venv $BUILDDIR
-		$BUILDDIR/bin/pip install pysdl2 pysdl2-dll git+https://github.com/python/mypy.git black
+		$BUILDDIR/bin/pip install pysdl2 pysdl2-dll 'mypy>=1.0.0' black
 	fi
 	echo "Using Python3 in $BUILDDIR"
 	PATH="$BUILDDIR/bin:$PATH"
-fi
\ No newline at end of file
+fi