Warning: Permanently added '3.92.75.121' (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/10923643 Version: 1.9 PID: 10438 Logging PID: 10440 Task: {'appstream': False, 'background': True, 'build_id': 10923643, 'chroot': None, 'distributions_in_build': ['fedora-44'], 'distributions_in_project': ['fedora-44'], 'package_name': None, 'project_dirname': 'libtool-2.6.2', 'project_name': 'libtool-2.6.2', 'project_owner': 'fberat', 'repos': [], 'sandbox': 'fberat/libtool-2.6.2--fberat', 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/yices.git', 'committish': '307ef2eee4aa592e6b4eb02118c6a97e514e1230', 'distgit': 'fedora'}, 'source_type': 10, 'submitter': 'fberat', 'task_id': '10923643'} Running: git clone https://src.fedoraproject.org/rpms/yices.git /var/lib/copr-rpmbuild/workspace/workdir-_z0aiicd/yices --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://src.fedoraproject.org/rpms/yices.git', '/var/lib/copr-rpmbuild/workspace/workdir-_z0aiicd/yices', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-_z0aiicd/yices'... Running: git checkout 307ef2eee4aa592e6b4eb02118c6a97e514e1230 -- cmd: ['git', 'checkout', '307ef2eee4aa592e6b4eb02118c6a97e514e1230', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-_z0aiicd/yices rc: 0 stdout: stderr: Note: switching to '307ef2eee4aa592e6b4eb02118c6a97e514e1230'. 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 307ef2e BR tex(epstopdf.sty) Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-_z0aiicd/yices 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 yices-2.7.0.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -H 'Accept-Encoding: identity' -o yices-2.7.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/yices/yices-2.7.0.tar.gz/sha512/0ed9811bfc505793078aa87afd86177a79bb5b9a4ec579fa0c43076cc997ff432d66588e996c1303d91bfb2163110312f30f1fc75a4d2f60d5786499bdd26b92/yices-2.7.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 9.97M 100 9.97M 0 0 67.12M 0 0 INFO: Reading stdout from command: sha512sum yices-2.7.0.tar.gz INFO: Downloading cudd-3.0.0.tar.gz INFO: Calling: curl -H Pragma: -H 'Accept-Encoding: identity' -o cudd-3.0.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/yices/cudd-3.0.0.tar.gz/sha512/a26728fedc3033ae2a842000f43f215b4abc914cd00fe0097fd483e59dc630568bfa6a115baa93af94b2f70f3d538761a12143fdb757167e90395c9fd244318c/cudd-3.0.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1.11M 100 1.11M 0 0 10.87M 0 0 INFO: Reading stdout from command: sha512sum cudd-3.0.0.tar.gz 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-_z0aiicd/yices rc: 0 stdout: setting SOURCE_DATE_EPOCH=1777507200 Wrote: /var/lib/copr-rpmbuild/results/yices-2.7.0-8.src.rpm stderr: INFO: Reading stdout from command: git rev-parse --git-dir INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/results/yices.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-_z0aiicd/yices/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1' Output: ['yices-2.7.0-8.src.rpm', 'yices.spec'] Running SRPMResults tool Using distributions_in_build for this build. Extracting arch-specific tags for fedora-44 Package info: { "architecture_specific_tags": { "fedora-44": { "excludearch": [ "athlon", "geode", "i386", "i486", "i586", "i686", "pentium3", "pentium4" ] } }, "name": "yices", "epoch": null, "version": "2.7.0", "release": "8" } SRPMResults finished