Warning: Permanently added '23.22.193.72' (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-r4cg945u/coq/coq-mathlib.patch
coq.spec
fr.inria.rocqide.desktop -> /var/lib/copr-rpmbuild/workspace/workdir-r4cg945u/coq/fr.inria.rocqide.desktop
fr.inria.rocqide.metainfo.xml -> /var/lib/copr-rpmbuild/workspace/workdir-r4cg945u/coq/fr.inria.rocqide.metainfo.xml
results.json
rocq.xml -> /var/lib/copr-rpmbuild/workspace/workdir-r4cg945u/coq/rocq.xml
success

sent 138 bytes  received 12,823,731 bytes  25,647,738.00 bytes/sec
total size is 12,820,074  speedup is 1.00