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

sent 129 bytes  received 48,038,084 bytes  96,076,426.00 bytes/sec
total size is 48,025,832  speedup is 1.00