Warning: Permanently added '3.239.10.147' (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.4-1.fc44.x86_64.rpm java-z3-debuginfo-4.15.4-1.fc44.x86_64.rpm ocaml-z3-4.15.4-1.fc44.x86_64.rpm ocaml-z3-debuginfo-4.15.4-1.fc44.x86_64.rpm ocaml-z3-devel-4.15.4-1.fc44.x86_64.rpm python3-z3-4.15.4-1.fc44.noarch.rpm results.json root.log.gz state.log.gz success z3-4.15.4-1.fc44.src.rpm z3-4.15.4-1.fc44.x86_64.rpm z3-debuginfo-4.15.4-1.fc44.x86_64.rpm z3-debugsource-4.15.4-1.fc44.x86_64.rpm z3-devel-4.15.4-1.fc44.x86_64.rpm z3-doc-4.15.4-1.fc44.x86_64.rpm z3-libs-4.15.4-1.fc44.x86_64.rpm z3-libs-debuginfo-4.15.4-1.fc44.x86_64.rpm z3.spec sent 468 bytes received 233,750,387 bytes 93,500,342.00 bytes/sec total size is 233,691,406 speedup is 1.00