Warning: Permanently added '98.93.49.179' (ED25519) to the list of known hosts.
receiving incremental file list
./
Cli-c24fe6078c630e89b489bffe59b3e20ac30d12c8.commit -> /var/lib/copr-rpmbuild/workspace/workdir-wdsiwzfr/neurofedora/Cli-c24fe6078c630e89b489bffe59b3e20ac30d12c8.commit
lean4-cli-4.35.0-2.src.rpm
lean4-cli-c24fe6078c630e89b489bffe59b3e20ac30d12c8.tar.gz
lean4-cli.spec
results.json
success

sent 129 bytes  received 62,381 bytes  125,020.00 bytes/sec
total size is 61,870  speedup is 0.99