Warning: Permanently added '54.81.214.234' (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-uifr0atw/neurofedora/importGraph-a41f0e9a4dea23188ea9cc1c41ac9f8bbafe0b93.commit
lean4-importgraph-0^20261012gita41f0e9-2.src.rpm
lean4-importgraph.spec
results.json
success

sent 129 bytes  received 374,965 bytes  750,188.00 bytes/sec
total size is 374,331  speedup is 1.00