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