Warning: Permanently added '34.204.188.213' (ED25519) to the list of known hosts.
receiving incremental file list
build.log.gz
chroot_scan.tar.gz
configs.tar.gz
hw_info.log.gz
idris2-0.7.0-6.fc42.src.rpm
idris2-0.7.0-6.fc42.x86_64.rpm
idris2-debugsource-0.7.0-6.fc42.x86_64.rpm
idris2-doc-0.7.0-6.fc42.noarch.rpm
idris2-lib-0.7.0-6.fc42.x86_64.rpm
idris2-lib-debuginfo-0.7.0-6.fc42.x86_64.rpm
idris2.spec
results.json
root.log.gz
state.log.gz
success
fedora-review/
fedora-review/fedora-review.log
fedora-review/files.dir
fedora-review/licensecheck.txt
fedora-review/review.json
fedora-review/review.txt
fedora-review/rpmlint.txt

sent 431 bytes  received 23,952,417 bytes  15,968,565.33 bytes/sec
total size is 23,944,933  speedup is 1.00