Warning: Permanently added '52.55.34.158' (ED25519) to the list of known hosts. receiving incremental file list ./ Qq-dce0ad79c486cb1fb504af04f953c3466b0c6db8.commit -> /var/lib/copr-rpmbuild/workspace/workdir-stv6bn79/neurofedora/Qq-dce0ad79c486cb1fb504af04f953c3466b0c6db8.commit lean4-qq-0^20261012gitdce0ad7-2.src.rpm lean4-qq.spec quote4-dce0ad79c486cb1fb504af04f953c3466b0c6db8.tar.gz results.json success sent 129 bytes received 81,196 bytes 162,650.00 bytes/sec total size is 80,656 speedup is 0.99