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