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