Warning: Permanently added '54.175.245.74' (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/8473367


Version: 1.2
PID: 9337
Logging PID: 9338
Task:
{'appstream': False,
 'background': True,
 'build_id': 8473367,
 'chroot': None,
 'package_name': 'cvc5',
 'project_dirname': 'setuptools-74',
 'project_name': 'setuptools-74',
 'project_owner': 'churchyard',
 'repos': [],
 'sandbox': 'churchyard/setuptools-74--https://src.fedoraproject.org/user/jjames',
 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/cvc5',
                 'committish': 'be61a558dccc2c968668d85dbb1036508067f063',
                 'distgit': 'fedora'},
 'source_type': 10,
 'submitter': 'https://src.fedoraproject.org/user/jjames',
 'task_id': '8473367'}

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

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

Running: git checkout be61a558dccc2c968668d85dbb1036508067f063 --

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

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 be61a55 Remove unused m4ri dependency

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-zx7b4li3/cvc5
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 cvc5-1.2.0.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o cvc5-1.2.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/cvc5/cvc5-1.2.0.tar.gz/sha512/08c1b79210854cf0e1600ede33a256ea29dc4d498a4fd41b467a79d2cb134830bcc5ea36089d22ab65ad6cc24052bd29ee69e29244291c0c6056063a62da00b2/cvc5-1.2.0.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 8707k  100 8707k    0     0   200M      0 --:--:-- --:--:-- --:--:--  202M
INFO: Reading stdout from command: sha512sum cvc5-1.2.0.tar.gz
INFO: Downloading be54c2388b3271f657cad41cf5e3d6bc97cd51a1.zip
INFO: Calling: curl -H Pragma: -o be54c2388b3271f657cad41cf5e3d6bc97cd51a1.zip --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://src.fedoraproject.org/repo/pkgs/rpms/cvc5/be54c2388b3271f657cad41cf5e3d6bc97cd51a1.zip/sha512/a8412f0233be55a9d320b3dd8954b830f512201ee94788f179b3390cbea25d46b5bb78500d1fc8a0ec81ad0c7f74a71e8631b6fdf6371db2130665eb440a0094/be54c2388b3271f657cad41cf5e3d6bc97cd51a1.zip
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 90570  100 90570    0     0  4809k      0 --:--:-- --:--:-- --:--:-- 4913k
INFO: Reading stdout from command: sha512sum be54c2388b3271f657cad41cf5e3d6bc97cd51a1.zip

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-zx7b4li3/cvc5
rc: 0
stdout: setting SOURCE_DATE_EPOCH=1736121600
Wrote: /var/lib/copr-rpmbuild/results/cvc5-1.2.0-2.src.rpm
stderr: INFO: Reading stdout from command: git rev-parse --git-dir
INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/results/cvc5.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-zx7b4li3/cvc5/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1'

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