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