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