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

sent 129 bytes  received 61,786 bytes  123,830.00 bytes/sec
total size is 61,269  speedup is 0.99