Warning: Permanently added '54.165.28.132' (ED25519) to the list of known hosts.
receiving incremental file list
./
gcc-14.2.1-20241025.tar.xz
results.json
spark2014-0^20240111gitce5fad0-2.src.rpm
spark2014-adapt-to-coq-8.18.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-adapt-to-coq-8.18.patch
spark2014-add-build-options-for-gnatprove.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-add-build-options-for-gnatprove.patch
spark2014-add-missing-functions-in-ptree.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-add-missing-functions-in-ptree.patch
spark2014-add-ppc64le-and-s390x-targets.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-add-ppc64le-and-s390x-targets.patch
spark2014-ce5fad0.tar.gz
spark2014-colibri-not-available-for-testing.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-colibri-not-available-for-testing.patch
spark2014-fix-gnatprove-alt-ergo-version-inquiry.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-fix-gnatprove-alt-ergo-version-inquiry.patch
spark2014-fix-missing-mli-error.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-fix-missing-mli-error.patch
spark2014-prep-fix-paths-gnatprove.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-prep-fix-paths-gnatprove.patch
spark2014-prep-fix-paths-gnatwhy3.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-prep-fix-paths-gnatwhy3.patch
spark2014-refine-dependencies-to-gnatcoll.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-refine-dependencies-to-gnatcoll.patch
spark2014-replace-pervasives-with-stdlib.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-replace-pervasives-with-stdlib.patch
spark2014-sparklib-is-separate.patch -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark2014-sparklib-is-separate.patch
spark2014.spec
spark_install.ads.in -> /var/lib/copr-rpmbuild/workspace/workdir-3k76sh1o/fedora-spark2014/spark_install.ads.in
success
why3-fb4ca6c.tar.gz

sent 203 bytes  received 204,252,711 bytes  136,168,609.33 bytes/sec
total size is 204,201,637  speedup is 1.00