Warning: Permanently added '54.204.206.190' (ED25519) to the list of known hosts.
receiving incremental file list
./
ProofWidgets4-df72b022e558978a1c50264cfc4d7fec86fa8e04.tar.gz
lean4-proofwidgets-0.0.116-1.src.rpm
lean4-proofwidgets.spec
proofwidgets-df72b022e558978a1c50264cfc4d7fec86fa8e04.commit -> /var/lib/copr-rpmbuild/workspace/workdir-jn693kax/neurofedora/proofwidgets-df72b022e558978a1c50264cfc4d7fec86fa8e04.commit
results.json
success

sent 129 bytes  received 7,809,966 bytes  15,620,190.00 bytes/sec
total size is 7,807,520  speedup is 1.00