Warning: Permanently added '44.214.105.180' (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 java-z3-4.15.2-4.fc43.x86_64.rpm java-z3-debuginfo-4.15.2-4.fc43.x86_64.rpm ocaml-z3-4.15.2-4.fc43.x86_64.rpm ocaml-z3-debuginfo-4.15.2-4.fc43.x86_64.rpm ocaml-z3-devel-4.15.2-4.fc43.x86_64.rpm python3-z3-4.15.2-4.fc43.noarch.rpm results.json root.log.gz state.log.gz success z3-4.15.2-4.fc43.src.rpm z3-4.15.2-4.fc43.x86_64.rpm z3-debuginfo-4.15.2-4.fc43.x86_64.rpm z3-debugsource-4.15.2-4.fc43.x86_64.rpm z3-devel-4.15.2-4.fc43.x86_64.rpm z3-doc-4.15.2-4.fc43.x86_64.rpm z3-libs-4.15.2-4.fc43.x86_64.rpm z3-libs-debuginfo-4.15.2-4.fc43.x86_64.rpm z3.spec sent 468 bytes received 232,910,970 bytes 93,164,575.20 bytes/sec total size is 232,852,200 speedup is 1.00