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