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

sent 129 bytes  received 7,810,562 bytes  15,621,382.00 bytes/sec
total size is 7,808,112  speedup is 1.00