Warning: Permanently added '54.175.100.190' (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/7627812


Version: 0.73
PID: 6722
Logging PID: 6723
Task:
{'appstream': False,
 'background': True,
 'build_id': 7627812,
 'chroot': None,
 'package_name': 'z3',
 'project_dirname': 'python3.12',
 'project_name': 'python3.12',
 'project_owner': '@python',
 'repos': [],
 'sandbox': '@python/python3.12--https://src.fedoraproject.org/user/rjones',
 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/z3',
                 'committish': 'bed9a8e94c432e749debbbccdad20c94a1349dd5',
                 'distgit': 'fedora'},
 'source_type': 10,
 'submitter': 'https://src.fedoraproject.org/user/rjones',
 'task_id': '7627812'}

Running: git clone https://src.fedoraproject.org/rpms/z3 /var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3 --depth 500 --no-single-branch --recursive

cmd: ['git', 'clone', 'https://src.fedoraproject.org/rpms/z3', '/var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3'...

Running: git checkout bed9a8e94c432e749debbbccdad20c94a1349dd5 --

cmd: ['git', 'checkout', 'bed9a8e94c432e749debbbccdad20c94a1349dd5', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3
rc: 0
stdout: 
stderr: Note: switching to 'bed9a8e94c432e749debbbccdad20c94a1349dd5'.

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 <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at bed9a8e OCaml 5.2.0 ppc64le fix

Running: copr-distgit-client sources

cmd: ['copr-distgit-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3
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 z3-4.13.0.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o z3-4.13.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/z3/z3-4.13.0.tar.gz/sha512/8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd/z3-4.13.0.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 5390k  100 5390k    0     0  33.8M      0 --:--:-- --:--:-- --:--:-- 33.7M
INFO: Reading stdout from command: sha512sum z3-4.13.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-8uut8o25/z3
rc: 0
stdout: setting SOURCE_DATE_EPOCH=1718755200
Wrote: /var/lib/copr-rpmbuild/results/z3-4.13.0-4.src.rpm
stderr: INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3/./z3.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-8uut8o25/z3/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1'

Output: ['z3-4.13.0-4.src.rpm']
Running SRPMResults tool
Package info: {
    "name": "z3",
    "epoch": null,
    "version": "4.13.0",
    "release": "4",
    "exclusivearch": [],
    "excludearch": []
}
SRPMResults finished