Warning: Permanently added '98.83.138.42' (ED25519) to the list of known hosts. receiving incremental file list ./ Qq-dce0ad79c486cb1fb504af04f953c3466b0c6db8.commit -> /var/lib/copr-rpmbuild/workspace/workdir-6v9b84l_/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,554 bytes 161,366.00 bytes/sec total size is 80,022 speedup is 0.99