Warning: Permanently added '54.236.218.197' (ED25519) to the list of known hosts. receiving incremental file list ./ fr.inria.rocqide.desktop -> /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq/fr.inria.rocqide.desktop fr.inria.rocqide.metainfo.xml -> /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq/fr.inria.rocqide.metainfo.xml results.json rocq-9.1.0-1.src.rpm rocq-9.1.0.tar.gz rocq-mathlib.patch -> /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq/rocq-mathlib.patch rocq.spec rocq.xml -> /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq/rocq.xml success sent 138 bytes received 12,823,049 bytes 25,646,374.00 bytes/sec total size is 12,819,404 speedup is 1.00