Warning: Permanently added '32.198.12.177' (ED25519) to the list of known hosts.
receiving incremental file list
./
aesop-4a174c490d8707121c4a9290800489f105d85e07.commit -> /var/lib/copr-rpmbuild/workspace/workdir-arx5a16n/neurofedora/aesop-4a174c490d8707121c4a9290800489f105d85e07.commit
aesop-4a174c490d8707121c4a9290800489f105d85e07.tar.gz
lean4-aesop-0^20261012git4a174c4-1.src.rpm
lean4-aesop.spec
results.json
success

sent 129 bytes  received 431,029 bytes  862,316.00 bytes/sec
total size is 430,449  speedup is 1.00