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

sent 129 bytes  received 768,884 bytes  1,538,026.00 bytes/sec
total size is 768,162  speedup is 1.00