Warning: Permanently added '54.208.254.160' (ED25519) to the list of known hosts.
receiving incremental file list
./
LeanSearchClient-d6b4c7be5be75ec4917c873ac50c756dc1436372.commit -> /var/lib/copr-rpmbuild/workspace/workdir-3458_8d7/neurofedora/LeanSearchClient-d6b4c7be5be75ec4917c873ac50c756dc1436372.commit
LeanSearchClient-d6b4c7be5be75ec4917c873ac50c756dc1436372.tar.gz
lean4-leansearchclient-0^20261012gitd6b4c7b-2.src.rpm
lean4-leansearchclient.spec
results.json
success

sent 129 bytes  received 42,038 bytes  84,334.00 bytes/sec
total size is 41,456  speedup is 0.98