Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c1d2' (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/9877963 Version: 1.6 PID: 2745 Logging PID: 2747 Task: {'appstream': False, 'background': True, 'build_id': 9877963, 'chroot': None, 'package_name': 'cvc5', 'project_dirname': 'pyproject-rpm-macros', 'project_name': 'pyproject-rpm-macros', 'project_owner': 'thrnciar', 'repos': [], 'sandbox': 'thrnciar/pyproject-rpm-macros--https://src.fedoraproject.org/user/jjames', 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/cvc5', 'committish': '87fc0d47321379930a88d62b3fad8e6d6c68528a', 'distgit': 'fedora'}, 'source_type': 10, 'submitter': 'https://src.fedoraproject.org/user/jjames', 'task_id': '9877963'} Running: git clone https://src.fedoraproject.org/rpms/cvc5 /var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5 --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://src.fedoraproject.org/rpms/cvc5', '/var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5'... Running: git checkout 87fc0d47321379930a88d62b3fad8e6d6c68528a -- cmd: ['git', 'checkout', '87fc0d47321379930a88d62b3fad8e6d6c68528a', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5 rc: 0 stdout: stderr: Note: switching to '87fc0d47321379930a88d62b3fad8e6d6c68528a'. 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 87fc0d4 Rebuild for cadical 2.2.0 and libpoly 0.2.1 Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5 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 cvc5-1.3.1.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o cvc5-1.3.1.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/cvc5/cvc5-1.3.1.tar.gz/sha512/edb83fd027439abe801a42c3693c78529b6f215965a39d6ee724110a7b52de56f222f5d8f1f71a3ba143ea9d6e03e1be52495d9286da10374d9e3b7233d636d1/cvc5-1.3.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 8989k 100 8989k 0 0 25.2M 0 --:--:-- --:--:-- --:--:-- 25.2M INFO: Reading stdout from command: sha512sum cvc5-1.3.1.tar.gz INFO: Downloading 76b1acfb03c3548d5a471739dd28cd596872e426.zip INFO: Calling: curl -H Pragma: -o 76b1acfb03c3548d5a471739dd28cd596872e426.zip --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/cvc5/76b1acfb03c3548d5a471739dd28cd596872e426.zip/sha512/b9130e607faf94d3584e15b098abb9db9f823040f04747d89a29477bfc2e5503ab96be4d899e3d357f3e62bf8cf35e6302e71d001622debc8ff11aa21ebc1736/76b1acfb03c3548d5a471739dd28cd596872e426.zip % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 90929 100 90929 0 0 827k 0 --:--:-- --:--:-- --:--:-- 829k INFO: Reading stdout from command: sha512sum 76b1acfb03c3548d5a471739dd28cd596872e426.zip Running: dist-git-client srpm --outputdir /var/lib/copr-rpmbuild/results cmd: ['dist-git-client', 'srpm', '--outputdir', '/var/lib/copr-rpmbuild/results'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5 rc: 0 stdout: setting SOURCE_DATE_EPOCH=1764892800 Wrote: /var/lib/copr-rpmbuild/results/cvc5-1.3.1-2.src.rpm stderr: INFO: Reading stdout from command: git rev-parse --git-dir INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/results/cvc5.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-8tq7vmen/cvc5/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1' Output: ['cvc5-1.3.1-2.src.rpm', 'cvc5.spec'] Running SRPMResults tool Package info: { "name": "cvc5", "epoch": null, "version": "1.3.1", "release": "2", "exclusivearch": [], "excludearch": [ "i386", "i486", "i586", "i686", "pentium3", "pentium4", "athlon", "geode" ] } SRPMResults finished