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