Warning: Permanently added '54.82.1.128' (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/8902887


Version: 1.3
PID: 9561
Logging PID: 9562
Task:
{'appstream': False,
 'background': True,
 'build_id': 8902887,
 'chroot': None,
 'package_name': None,
 'project_dirname': 'automake-1.17.92_1',
 'project_name': 'automake-1.17.92_1',
 'project_owner': 'fberat',
 'repos': [],
 'sandbox': 'fberat/automake-1.17.92_1--fberat',
 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/yices.git',
                 'committish': '605ad4cf449a0345b411f839eef27b98f15613a8'},
 'source_type': 10,
 'submitter': 'fberat',
 'task_id': '8902887'}

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

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

Running: git checkout 605ad4cf449a0345b411f839eef27b98f15613a8 --

cmd: ['git', 'checkout', '605ad4cf449a0345b411f839eef27b98f15613a8', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-un52zwd3/yices
rc: 0
stdout: 
stderr: Note: switching to '605ad4cf449a0345b411f839eef27b98f15613a8'.

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 605ad4c Rebuild for cryptominisat 5.12.1

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-un52zwd3/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.6.5.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o Yices-2.6.5.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.6.5.tar.gz/sha512/8f01c6d516f2aa901b30e9248c3df78930e670c8e1a795b1bb112561f4e338e6e11eadfc2e6cbfc089f6593561b5874fbe816be677dd09c0834a01829c5cf490/Yices-2.6.5.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100  9.9M  100  9.9M    0     0   126M      0 --:--:-- --:--:-- --:--:--  127M
INFO: Reading stdout from command: sha512sum Yices-2.6.5.tar.gz
INFO: Downloading cudd-3.0.0.tar.gz
INFO: Calling: curl -H Pragma: -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 1143k  100 1143k    0     0  32.0M      0 --:--:-- --:--:-- --:--:-- 32.8M
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-un52zwd3/yices
rc: 0
stdout: setting SOURCE_DATE_EPOCH=1739232000
Wrote: /var/lib/copr-rpmbuild/results/yices-2.6.5-7.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-un52zwd3/yices/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1'

Output: ['yices.spec', 'yices-2.6.5-7.src.rpm']
Running SRPMResults tool
Package info: {
    "name": "yices",
    "epoch": null,
    "version": "2.6.5",
    "release": "7",
    "exclusivearch": [],
    "excludearch": [
        "i386",
        "i486",
        "i586",
        "i686",
        "pentium3",
        "pentium4",
        "athlon",
        "geode"
    ]
}
SRPMResults finished