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