Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c10a' (ED25519) to the list of known hosts.
receiving incremental file list
./
emacs-common-proofgeneral-4.5-10.20240912git1ffca70.fc42.src.rpm
emacs-common-proofgeneral.spec
results.json
success

sent 107 bytes  received 1,340,340 bytes  893,631.33 bytes/sec
total size is 1,339,667  speedup is 1.00