Collecting mypy==0.13
Downloading mypy-0.13.tar.gz (854kB)
Building wheels for collected packages: mypy
Stored in directory: /tmp/tmpbs67f5dy
Successfully built mypy