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