Warning: Permanently added '44.206.224.210' (ED25519) to the list of known hosts. receiving incremental file list ./ Qq-dce0ad79c486cb1fb504af04f953c3466b0c6db8.commit -> /var/lib/copr-rpmbuild/workspace/workdir-mplxryq6/neurofedora/Qq-dce0ad79c486cb1fb504af04f953c3466b0c6db8.commit lean4-qq-0^20261012gitdce0ad7-1.src.rpm lean4-qq.spec quote4-dce0ad79c486cb1fb504af04f953c3466b0c6db8.tar.gz results.json success sent 129 bytes received 80,564 bytes 161,386.00 bytes/sec total size is 80,022 speedup is 0.99