Warning: Permanently added '98.83.138.42' (ED25519) to the list of known hosts.
receiving incremental file list
./
batteries-66e469188fe07963e5cf666c7d4433f45b8131c5.commit -> /var/lib/copr-rpmbuild/workspace/workdir-uqn9frgq/neurofedora/batteries-66e469188fe07963e5cf666c7d4433f45b8131c5.commit
batteries-66e469188fe07963e5cf666c7d4433f45b8131c5.tar.gz
lean4-batteries-0^20261012git66e4691-1.src.rpm
lean4-batteries.spec
results.json
success

sent 129 bytes  received 768,245 bytes  1,536,748.00 bytes/sec
total size is 767,530  speedup is 1.00