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

sent 110 bytes  received 12,211 bytes  24,642.00 bytes/sec
total size is 11,843  speedup is 0.96