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