Warning: Permanently added '3.82.15.244' (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/9098053


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

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

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

Running: git checkout ce84bc512018b6dd40d9bb56213a37a6b827be9c --

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

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 ce84bc5 Rebuild for cryptominisat 5.13.0

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-k8pi7icn/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   143M      0 --:--:-- --:--:-- --:--:--  145M
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  37.4M      0 --:--:-- --:--:-- --:--:-- 38.5M
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-k8pi7icn/yices
rc: 0
stdout: setting SOURCE_DATE_EPOCH=1746057600
Wrote: /var/lib/copr-rpmbuild/results/yices-2.6.5-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-k8pi7icn/yices/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1'

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