Warning: Permanently added '35.173.211.239' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --srpm --task-url https://copr.fedorainfracloud.org/backend/get-srpm-build-task/7628545 Version: 0.73 PID: 6823 Logging PID: 6824 Task: {'appstream': False, 'background': True, 'build_id': 7628545, 'chroot': None, 'package_name': 'frama-c', 'project_dirname': 'openblas-0.3.23', 'project_name': 'openblas-0.3.23', 'project_owner': 'psimovec', 'repos': [], 'sandbox': 'psimovec/openblas-0.3.23--https://src.fedoraproject.org/user/rjones', 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/frama-c', 'committish': 'c92470e730860a10dfe779c4e2a5b5d5d7686440', 'distgit': 'fedora'}, 'source_type': 10, 'submitter': 'https://src.fedoraproject.org/user/rjones', 'task_id': '7628545'} Running: git clone https://src.fedoraproject.org/rpms/frama-c /var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://src.fedoraproject.org/rpms/frama-c', '/var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c'... Running: git checkout c92470e730860a10dfe779c4e2a5b5d5d7686440 -- cmd: ['git', 'checkout', 'c92470e730860a10dfe779c4e2a5b5d5d7686440', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c rc: 0 stdout: stderr: Note: switching to 'c92470e730860a10dfe779c4e2a5b5d5d7686440'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at c92470e OCaml 5.2.0 ppc64le fix Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading frama-c-29.0-Copper.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o frama-c-29.0-Copper.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/frama-c-29.0-Copper.tar.gz/sha512/5b5508219eb90d126ee6bca6a91ab8dd2cf8f0a188cdaf80fea75a523afe4e6eea265c4527b61e0af40530071dc0752b5af791c518f89c617745744e375f5537/frama-c-29.0-Copper.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 7852k 100 7852k 0 0 70.7M 0 --:--:-- --:--:-- --:--:-- 71.0M INFO: Reading stdout from command: sha512sum frama-c-29.0-Copper.tar.gz INFO: Downloading frama-c-29.0-Copper-api.tar.gz INFO: Calling: curl -H Pragma: -o frama-c-29.0-Copper-api.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/frama-c-29.0-Copper-api.tar.gz/sha512/8da5154ddcab20f36726599baa8d9ab1d880016c732586d7d43eeca15497e922913298232ff7fc00341882bdcb2fd6f30fc569640276d21d80effecafda6f820/frama-c-29.0-Copper-api.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 4633k 100 4633k 0 0 45.0M 0 --:--:-- --:--:-- --:--:-- 45.2M INFO: Reading stdout from command: sha512sum frama-c-29.0-Copper-api.tar.gz INFO: Downloading frama-c-server-29.0-Copper-api.tar.gz INFO: Calling: curl -H Pragma: -o frama-c-server-29.0-Copper-api.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/frama-c-server-29.0-Copper-api.tar.gz/sha512/447295733ca14e503aefcde8eef239bde546ae87a3740affe65469237c4f3f1d9b7041d47bf02d4e9948298b5fd0efb051a5a80a322848293803b94a96896b08/frama-c-server-29.0-Copper-api.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 59913 100 59913 0 0 1288k 0 --:--:-- --:--:-- --:--:-- 1300k INFO: Reading stdout from command: sha512sum frama-c-server-29.0-Copper-api.tar.gz INFO: Downloading frama-c-icons.tar.xz INFO: Calling: curl -H Pragma: -o frama-c-icons.tar.xz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/frama-c-icons.tar.xz/sha512/9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d/frama-c-icons.tar.xz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 33748 100 33748 0 0 546k 0 --:--:-- --:--:-- --:--:-- 549k INFO: Reading stdout from command: sha512sum frama-c-icons.tar.xz INFO: Downloading acsl-implementation-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o acsl-implementation-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/acsl-implementation-29.0-Copper.pdf/sha512/ae1adddb2d9573f51546b84aa97564036f167a6c803ec4d96dae6d1f52d03376f61e48363e9aa2f15c4e35ec9a5eea3028162e4952715078b06874e37136fa80/acsl-implementation-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1985k 100 1985k 0 0 9321k 0 --:--:-- --:--:-- --:--:-- 9366k INFO: Reading stdout from command: sha512sum acsl-implementation-29.0-Copper.pdf INFO: Downloading aorai-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o aorai-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/aorai-manual-29.0-Copper.pdf/sha512/448bdadcd7d653930114bd39a7880d4fd70e30cfb1ef083725551f0690d754ffcf9e481603392ce4de653c43941db6ef2c8cd61432d008854fce4f3623f369d5/aorai-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1302k 100 1302k 0 0 7246k 0 --:--:-- --:--:-- --:--:-- 7233k INFO: Reading stdout from command: sha512sum aorai-manual-29.0-Copper.pdf INFO: Downloading e-acsl-implementation-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o e-acsl-implementation-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/e-acsl-implementation-29.0-Copper.pdf/sha512/4b3173eef7e5f42ffd770bbf6d8776d3215a5c53572e690b71715a7657db5c901fdbe3b1ae486ed348c272c5e8df585a6c690c8740c5dc90e9371767735c16c7/e-acsl-implementation-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1298k 100 1298k 0 0 9832k 0 --:--:-- --:--:-- --:--:-- 9914k INFO: Reading stdout from command: sha512sum e-acsl-implementation-29.0-Copper.pdf INFO: Downloading e-acsl-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o e-acsl-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/e-acsl-manual-29.0-Copper.pdf/sha512/641a3c1049b6a7b548c1588d6593fc1681c15a25cbd7c45145763ecd41bb07a769b649dc3808426607e41bdb0a69d2ed40a400b63fa5155e6fffb0e5f3741fe1/e-acsl-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1338k 100 1338k 0 0 16.8M 0 --:--:-- --:--:-- --:--:-- 16.9M INFO: Reading stdout from command: sha512sum e-acsl-manual-29.0-Copper.pdf INFO: Downloading eva-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o eva-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/eva-manual-29.0-Copper.pdf/sha512/cfa322cf9e371a0619109a0864fdfe1533d7403de23de49d0e884580abb540b24ccfb12aa71687b69b8b54d07cce6a160a338a1c7cd455ad5a126a5201a0a5d5/eva-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 2492k 100 2492k 0 0 26.9M 0 --:--:-- --:--:-- --:--:-- 27.0M INFO: Reading stdout from command: sha512sum eva-manual-29.0-Copper.pdf INFO: Downloading metrics-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o metrics-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/metrics-manual-29.0-Copper.pdf/sha512/1f1d7477d776efca1461623a2e9f9b6ed34e73832a6f95799a4c9872baf49451cada99f86fe2917d10e0052ef9305464ab59f048a4b25984f6e39b181e0e96ed/metrics-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1362k 100 1362k 0 0 17.5M 0 --:--:-- --:--:-- --:--:-- 17.7M INFO: Reading stdout from command: sha512sum metrics-manual-29.0-Copper.pdf INFO: Downloading plugin-development-guide-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o plugin-development-guide-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/plugin-development-guide-29.0-Copper.pdf/sha512/7f4ec43e6c57b51224512f34466f22b6c11e70a2cf4301277ca9de2c33704fd0985ed1a258a59c7cdfd840938d114510736f634b7f857e93edfd34159a06fe4f/plugin-development-guide-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1945k 100 1945k 0 0 25.1M 0 --:--:-- --:--:-- --:--:-- 25.3M INFO: Reading stdout from command: sha512sum plugin-development-guide-29.0-Copper.pdf INFO: Downloading rte-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o rte-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/rte-manual-29.0-Copper.pdf/sha512/10aada29df5e136d27abd926230b567dad2ebc0f10dc74c65c8d3658ca303cdb5bba89fdc266691c56925be9ebc9c09345b55abe902f8008f20e106aefc64363/rte-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1255k 100 1255k 0 0 9822k 0 --:--:-- --:--:-- --:--:-- 9883k INFO: Reading stdout from command: sha512sum rte-manual-29.0-Copper.pdf INFO: Downloading user-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o user-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/user-manual-29.0-Copper.pdf/sha512/922f9ad5516d7952274ecf2b7be7b5ab636cbef2091c08779ec7535e5a7c7fdb7c3010f522dd8e9715d8fb891dad4a4b1d1cd220d210b5ab99fbaa669eb80d36/user-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 2406k 100 2406k 0 0 14.1M 0 --:--:-- --:--:-- --:--:-- 14.2M INFO: Reading stdout from command: sha512sum user-manual-29.0-Copper.pdf INFO: Downloading wp-manual-29.0-Copper.pdf INFO: Calling: curl -H Pragma: -o wp-manual-29.0-Copper.pdf --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/frama-c/wp-manual-29.0-Copper.pdf/sha512/0c97e2f9effc1f1de29465a4090e2f6a62a0e39cd61eed55c55566f1b389666aea4bacd0eaf76f5f3a3d53d52fd4c27722060e46d97b4a4079d14770bd5ed78b/wp-manual-29.0-Copper.pdf % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1863k 100 1863k 0 0 10.2M 0 --:--:-- --:--:-- --:--:-- 10.2M INFO: Reading stdout from command: sha512sum wp-manual-29.0-Copper.pdf Running: copr-distgit-client srpm --outputdir /var/lib/copr-rpmbuild/results cmd: ['copr-distgit-client', 'srpm', '--outputdir', '/var/lib/copr-rpmbuild/results'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c rc: 0 stdout: setting SOURCE_DATE_EPOCH=1718755200 Wrote: /var/lib/copr-rpmbuild/results/frama-c-29.0-3.src.rpm stderr: INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c/./frama-c.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-cd3gmd6c/frama-c/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1' Output: ['frama-c-29.0-3.src.rpm'] Running SRPMResults tool Package info: { "name": "frama-c", "epoch": null, "version": "29.0", "release": "3", "exclusivearch": [ "aarch64", "x86_64" ], "excludearch": [] } SRPMResults finished