zulip/requirements/mypy.txt

#
# This file is GENERATED.  Don't edit directly.
#
# To update, edit the non-"lock" files in requirements/*.txt, then:
#
#    tools/update-locked-requirements
#
# For details, see requirements/README.md .
#
mypy-extensions==0.4.1    # via mypy
mypy==0.720
typed-ast==1.4.0          # via mypy
typing-extensions==3.7.4  # via mypy
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			`#`
			`# This file is GENERATED. Don't edit directly.`
			`#`
			`# To update, edit the non-"lock" files in requirements/*.txt, then:`
			`#`
			`# tools/update-locked-requirements`
			`#`
			`# For details, see requirements/README.md .`
			`#`
dependencies: Upgrade mypy to version 0.641. This requires upgrading a few other packages that mypy depends on. 2018-10-19 23:06:16 +02:00			`mypy-extensions==0.4.1 # via mypy`
requirements: Upgrade to mypy 0.720. We also add the option of the newly added `--warn_unreachable` flag. 2019-07-23 21:08:41 +02:00			`mypy==0.720`
requirements: Upgrade mypy to 0.711. This comes with it a big performance improvement; mypy is now only barely our slowest linter even if it wasn't previously running. Fixes: #12058 2019-04-16 07:14:51 +02:00			`typed-ast==1.4.0 # via mypy`
requirements: Upgrade to mypy 0.720. We also add the option of the newly added `--warn_unreachable` flag. 2019-07-23 21:08:41 +02:00			`typing-extensions==3.7.4 # via mypy`