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