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