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

sent 129 bytes  received 431,658 bytes  863,574.00 bytes/sec
total size is 431,078  speedup is 1.00