Warning: Permanently added '32.198.12.177' (ED25519) to the list of known hosts.
receiving incremental file list
./
import-graph-a41f0e9a4dea23188ea9cc1c41ac9f8bbafe0b93.tar.gz
importGraph-a41f0e9a4dea23188ea9cc1c41ac9f8bbafe0b93.commit -> /var/lib/copr-rpmbuild/workspace/workdir-dow8qol4/neurofedora/importGraph-a41f0e9a4dea23188ea9cc1c41ac9f8bbafe0b93.commit
lean4-importgraph-0^20261012gita41f0e9-1.src.rpm
lean4-importgraph.spec
results.json
success

sent 129 bytes  received 374,352 bytes  748,962.00 bytes/sec
total size is 373,714  speedup is 1.00