Warning: Permanently added '23.22.157.254' (ED25519) to the list of known hosts.
receiving incremental file list
./
lean4-mathlib-4.35.0-3.src.rpm
lean4-mathlib.spec
mathlib-56a005855ea17e0b0958f73ec801ae140b0a1679.commit -> /var/lib/copr-rpmbuild/workspace/workdir-792lhjhb/neurofedora/mathlib-56a005855ea17e0b0958f73ec801ae140b0a1679.commit
mathlib4-56a005855ea17e0b0958f73ec801ae140b0a1679.tar.gz
results.json
success

sent 129 bytes  received 48,038,660 bytes  32,025,859.33 bytes/sec
total size is 48,026,408  speedup is 1.00