Warning: Permanently added '100.28.252.103' (ED25519) to the list of known hosts.
receiving incremental file list
./
gcc-16.1.1-20260515.tar.xz
results.json
spark2014-16.0.0-1.src.rpm
spark2014-42554fc.tar.gz
spark2014-add-build-options-for-gnatprove.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-add-build-options-for-gnatprove.patch
spark2014-add-ppc64le-and-s390x-targets.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-add-ppc64le-and-s390x-targets.patch
spark2014-colibri-not-available-for-testing.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-colibri-not-available-for-testing.patch
spark2014-no-prefix-for-gnat.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-no-prefix-for-gnat.patch
spark2014-pagefind-unavailable.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-pagefind-unavailable.patch
spark2014-prep-fix-paths-gnatprove.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-prep-fix-paths-gnatprove.patch
spark2014-refine-dependencies-to-gnatcoll.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-refine-dependencies-to-gnatcoll.patch
spark2014-sparklib-is-separate.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-sparklib-is-separate.patch
spark2014-use-gpr-from-sparklib-devel.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-use-gpr-from-sparklib-devel.patch
spark2014-why3-enable-verbose-make.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-enable-verbose-make.patch
spark2014-why3-fix-for-yojson-3.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-fix-for-yojson-3.patch
spark2014-why3-fix-incorrect-merge.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-fix-incorrect-merge.patch
spark2014-why3-fix-missing-mli-error.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-fix-missing-mli-error.patch
spark2014-why3-prep-fix-paths-gnatwhy3.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-prep-fix-paths-gnatwhy3.patch
spark2014-why3-update-rocq-proofs.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-update-rocq-proofs.patch
spark2014-why3-use-default-ppxlib-ast-for-better-compatibility.patch -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark2014-why3-use-default-ppxlib-ast-for-better-compatibility.patch
spark2014.spec
spark_install.ads.in -> /var/lib/copr-rpmbuild/workspace/workdir-78yzld76/fedora-spark2014/spark_install.ads.in
success
why3-23421c3.tar.gz

sent 215 bytes  received 228,349,632 bytes  152,233,231.33 bytes/sec
total size is 228,292,493  speedup is 1.00