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