zulip/requirements/mypy.txt