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