Warning: Permanently added '98.81.3.41' (ED25519) to the list of known hosts. receiving incremental file list ./ fr.lri.why3.desktop -> /var/lib/copr-rpmbuild/workspace/workdir-rsscdwu8/why3/fr.lri.why3.desktop fr.lri.why3.metainfo.xml -> /var/lib/copr-rpmbuild/workspace/workdir-rsscdwu8/why3/fr.lri.why3.metainfo.xml results.json success why3-1.8.2-2.src.rpm why3-1.8.2.tar.gz -> /var/lib/copr-rpmbuild/workspace/workdir-rsscdwu8/why3/why3-1.8.2.tar.gz why3.spec sent 116 bytes received 7,380,282 bytes 14,760,796.00 bytes/sec total size is 7,378,059 speedup is 1.00