lint/dependencies/python/mypy.txt