Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c1d7' (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/7628359 Version: 0.73 PID: 6432 Logging PID: 6433 Task: {'appstream': False, 'background': True, 'build_id': 7628359, 'chroot': None, 'package_name': 'coq', '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/coq', 'committish': 'c976a3ae2593f629138f58cec1e1f53bd6a82e15', 'distgit': 'fedora'}, 'source_type': 10, 'submitter': 'https://src.fedoraproject.org/user/rjones', 'task_id': '7628359'} Running: git clone https://src.fedoraproject.org/rpms/coq /var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://src.fedoraproject.org/rpms/coq', '/var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq'... Running: git checkout c976a3ae2593f629138f58cec1e1f53bd6a82e15 -- cmd: ['git', 'checkout', 'c976a3ae2593f629138f58cec1e1f53bd6a82e15', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq rc: 0 stdout: stderr: Note: switching to 'c976a3ae2593f629138f58cec1e1f53bd6a82e15'. 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 c976a3a Bump release and rebuild Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq 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 coq-8.18.0.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o coq-8.18.0.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/coq/coq-8.18.0.tar.gz/sha512/46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50/coq-8.18.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 7434k 100 7434k 0 0 13.4M 0 --:--:-- --:--:-- --:--:-- 13.4M INFO: Reading stdout from command: sha512sum coq-8.18.0.tar.gz 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-6u_3owek/coq rc: 0 stdout: setting SOURCE_DATE_EPOCH=1718755200 Wrote: /var/lib/copr-rpmbuild/results/coq-8.18.0-7.src.rpm stderr: INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq/./coq.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-6u_3owek/coq/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1' Output: ['coq-8.18.0-7.src.rpm'] Running SRPMResults tool Package info: { "name": "coq", "epoch": null, "version": "8.18.0", "release": "7", "exclusivearch": [ "aarch64", "x86_64" ], "excludearch": [] } SRPMResults finished