Warning: Permanently added '100.26.139.236' (ED25519) to the list of known hosts. receiving incremental file list ./ coq-9.1.0-1.src.rpm coq-9.1.0.tar.gz coq-mathlib.patch -> /var/lib/copr-rpmbuild/workspace/workdir-qjg_3rwc/coq/coq-mathlib.patch coq.spec fr.inria.rocqide.desktop -> /var/lib/copr-rpmbuild/workspace/workdir-qjg_3rwc/coq/fr.inria.rocqide.desktop fr.inria.rocqide.metainfo.xml -> /var/lib/copr-rpmbuild/workspace/workdir-qjg_3rwc/coq/fr.inria.rocqide.metainfo.xml results.json rocq.xml -> /var/lib/copr-rpmbuild/workspace/workdir-qjg_3rwc/coq/rocq.xml success sent 138 bytes received 12,818,824 bytes 8,545,974.67 bytes/sec total size is 12,815,144 speedup is 1.00