Warning: Permanently added '54.165.13.112' (ED25519) to the list of known hosts. receiving incremental file list ./ build.log.gz chroot_scan.tar.gz configs.tar.gz coq-8.20.1-5.fc44.src.rpm coq-8.20.1-5.fc44.x86_64.rpm coq-coqide-8.20.1-5.fc44.x86_64.rpm coq-coqide-debuginfo-8.20.1-5.fc44.x86_64.rpm coq-coqide-server-8.20.1-5.fc44.x86_64.rpm coq-coqide-server-debuginfo-8.20.1-5.fc44.x86_64.rpm coq-core-8.20.1-5.fc44.x86_64.rpm coq-core-debuginfo-8.20.1-5.fc44.x86_64.rpm coq-debuginfo-8.20.1-5.fc44.x86_64.rpm coq-debugsource-8.20.1-5.fc44.x86_64.rpm coq.spec hw_info.log.gz results.json root.log.gz state.log.gz success sent 392 bytes received 342,079,186 bytes 228,053,052.00 bytes/sec total size is 341,994,100 speedup is 1.00