diff -ru thonny-3.1.1/requirements.txt thonny-3.1.1-patched/requirements.txt
--- thonny-3.1.1/requirements.txt 2019-01-05 17:17:04.000000000 +0200
+++ thonny-3.1.1-patched/requirements.txt 2019-02-10 18:12:08.868170937 +0200
@@ -4,6 +4,5 @@
pylint>=1.6.5
astroid>=1.4.9
docutils>=0.13.1
-mypy>=0.470
pyperclip>=1.5.27
asttokens>=1.1.10