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