Warning: Permanently added '54.91.220.118' (ED25519) to the list of known hosts. receiving incremental file list ./ lean4-physlib-4.35.0-4.src.rpm lean4-physlib.spec physlib-af04d60bcd7618af849ff511e0a19d77f709937e.commit -> /var/lib/copr-rpmbuild/workspace/workdir-ddv1qwq8/neurofedora/physlib-af04d60bcd7618af849ff511e0a19d77f709937e.commit physlib-af04d60bcd7618af849ff511e0a19d77f709937e.tar.gz results.json success sent 129 bytes received 8,313,349 bytes 16,626,956.00 bytes/sec total size is 8,310,849 speedup is 1.00