Warning: Permanently added '34.224.71.164' (ED25519) to the list of known hosts.
receiving incremental file list
./
fr.inria.rocqide.desktop -> /var/lib/copr-rpmbuild/workspace/workdir-152eluwf/coq/fr.inria.rocqide.desktop
fr.inria.rocqide.metainfo.xml -> /var/lib/copr-rpmbuild/workspace/workdir-152eluwf/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-152eluwf/coq/rocq-mathlib.patch
rocq-no-generated-readme.patch -> /var/lib/copr-rpmbuild/workspace/workdir-152eluwf/coq/rocq-no-generated-readme.patch
rocq.spec
rocq.xml -> /var/lib/copr-rpmbuild/workspace/workdir-152eluwf/coq/rocq.xml
success

sent 141 bytes  received 12,836,636 bytes  8,557,851.33 bytes/sec
total size is 12,832,900  speedup is 1.00