Warning: Permanently added '23.20.220.129' (ED25519) to the list of known hosts. receiving incremental file list ./ build.log.gz configs.tar.gz coq-8.18.0-7.fc41.aarch64.rpm coq-8.18.0-7.fc41.src.rpm coq-coqide-8.18.0-7.fc41.aarch64.rpm coq-coqide-debuginfo-8.18.0-7.fc41.aarch64.rpm coq-coqide-server-8.18.0-7.fc41.aarch64.rpm coq-coqide-server-debuginfo-8.18.0-7.fc41.aarch64.rpm coq-core-8.18.0-7.fc41.aarch64.rpm coq-core-debuginfo-8.18.0-7.fc41.aarch64.rpm coq-debuginfo-8.18.0-7.fc41.aarch64.rpm coq-debugsource-8.18.0-7.fc41.aarch64.rpm coq.spec hw_info.log.gz results.json root.log.gz state.log.gz success chroot_scan/ chroot_scan/var/ chroot_scan/var/lib/ chroot_scan/var/lib/mock/ chroot_scan/var/lib/mock/fedora-40-aarch64-1718817473.692172/ chroot_scan/var/lib/mock/fedora-40-aarch64-1718817473.692172/root/ chroot_scan/var/lib/mock/fedora-40-aarch64-1718817473.692172/root/var/ chroot_scan/var/lib/mock/fedora-40-aarch64-1718817473.692172/root/var/log/ chroot_scan/var/lib/mock/fedora-40-aarch64-1718817473.692172/root/var/log/dnf5.log sent 428 bytes received 355,419,379 bytes 142,167,922.80 bytes/sec total size is 355,330,755 speedup is 1.00