diff --git a/tools/docker/scripts/install_python.sh b/tools/docker/scripts/install_python.sh index f2e3c527c0..5f8f7a573b 100755 --- a/tools/docker/scripts/install_python.sh +++ b/tools/docker/scripts/install_python.sh @@ -16,6 +16,11 @@ apt-get install -qq --no-install-recommends \ rm -rf /var/lib/apt/lists/* # install python packages -pip3 install --quiet numpy matplotlib requests mypy +pip3 install --quiet \ + numpy \ + matplotlib \ + requests \ + types-requests \ + mypy==0.902 #EOF