Collecting proveit==0.0.6
Downloading proveit-0.0.6.tar.gz
Building wheels for collected packages: proveit
Stored in directory: /tmp/tmpyikdr1y3
Successfully built proveit