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