zulip/requirements/mypy.in

# After editing this file, you MUST afterward run
# /tools/update-locked-requirements to update requirements/dev.txt
# and requirements/mypy.txt.
# See requirements/README.md for more detail.
mypy==0.550

# Include typing explicitly, since it's needed on Python 3.4
typing==3.6.2
requirements: Rename requirements files. This commit renames various source requirements files like `dev.txt`, `mypy.txt` etc to `dev.in`, `mypy.in` etc and various locked requirements files like `dev_lock.txt`, `mypy_lock.txt` etc to `dev.txt`, `mypy.txt` etc. This will help in emphasizing to the user that *.in are actually input to `update-locked-requirements` tool which should be run after updating any of these. 2017-11-17 02:41:06 +01:00			`# After editing this file, you MUST afterward run`
			`# /tools/update-locked-requirements to update requirements/dev.txt`
			`# and requirements/mypy.txt.`
			`# See requirements/README.md for more detail.`
requirements: Upgrade mypy to 0.550. We have to add a few type: ignores due to mypy 0.550 having some bugs in the new imaplib stubs in typeshed. Fixes #7387. 2017-11-24 23:26:44 +01:00			`mypy==0.550`
requirements: Add back explicit typing dependencies. These are needed to make the output the same on Trusty and Xenial. 2017-11-20 22:45:49 +01:00
			`# Include typing explicitly, since it's needed on Python 3.4`
			`typing==3.6.2`