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