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

sent 129 bytes  received 48,036,628 bytes  96,073,514.00 bytes/sec
total size is 48,024,388  speedup is 1.00