Warning: Permanently added '44.222.131.172' (ED25519) to the list of known hosts. receiving incremental file list ./ results.json success zenlpar07.pdf -> /var/lib/copr-rpmbuild/workspace/workdir-5yjptuyh/zenon/zenlpar07.pdf zenon-0.8.5-36.src.rpm zenon-0.8.5.tar.gz -> /var/lib/copr-rpmbuild/workspace/workdir-5yjptuyh/zenon/zenon-0.8.5.tar.gz zenon-format.5 -> /var/lib/copr-rpmbuild/workspace/workdir-5yjptuyh/zenon/zenon-format.5 zenon-tptp-COM003+2.p -> /var/lib/copr-rpmbuild/workspace/workdir-5yjptuyh/zenon/zenon-tptp-COM003+2.p zenon-tptp-ReadMe -> /var/lib/copr-rpmbuild/workspace/workdir-5yjptuyh/zenon/zenon-tptp-ReadMe zenon.1 -> /var/lib/copr-rpmbuild/workspace/workdir-5yjptuyh/zenon/zenon.1 zenon.spec sent 125 bytes received 654,270 bytes 436,263.33 bytes/sec total size is 653,615 speedup is 1.00