Warning: Permanently added '3.92.202.0' (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.0-1.fc42.x86_64.rpm java-z3-debuginfo-4.15.0-1.fc42.x86_64.rpm ocaml-z3-4.15.0-1.fc42.x86_64.rpm ocaml-z3-debuginfo-4.15.0-1.fc42.x86_64.rpm ocaml-z3-devel-4.15.0-1.fc42.x86_64.rpm python3-z3-4.15.0-1.fc42.noarch.rpm results.json root.log.gz state.log.gz success z3-4.15.0-1.fc42.src.rpm z3-4.15.0-1.fc42.x86_64.rpm z3-debuginfo-4.15.0-1.fc42.x86_64.rpm z3-debugsource-4.15.0-1.fc42.x86_64.rpm z3-devel-4.15.0-1.fc42.x86_64.rpm z3-doc-4.15.0-1.fc42.x86_64.rpm z3-libs-4.15.0-1.fc42.x86_64.rpm z3-libs-debuginfo-4.15.0-1.fc42.x86_64.rpm z3.spec sent 468 bytes received 231,535,631 bytes 66,153,171.14 bytes/sec total size is 231,477,193 speedup is 1.00