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