Warning: Permanently added '44.206.248.132' (ED25519) to the list of known hosts.
receiving incremental file list
./
lean4-rpm-macros-1-1.src.rpm
lean4-rpm-macros.spec
macros.lean4 -> /var/lib/copr-rpmbuild/workspace/workdir-kjnzzute/neurofedora/macros.lean4
results.json
success

sent 110 bytes  received 11,649 bytes  7,839.33 bytes/sec
total size is 11,293  speedup is 0.96