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