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