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