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