Warning: Permanently added '54.91.94.111' (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/8476511


Version: 1.2
PID: 8888
Logging PID: 8889
Task:
{'appstream': False,
 'background': True,
 'build_id': 8476511,
 'chroot': None,
 'package_name': None,
 'project_dirname': 'gcc-15-smoketest-3.failed',
 'project_name': 'gcc-15-smoketest-3.failed',
 'project_owner': 'dmalcolm',
 'repos': [],
 'sandbox': 'dmalcolm/gcc-15-smoketest-3.failed--dmalcolm',
 'source_json': {'clone_url': 'https://src.fedoraproject.org/rpms/idris.git',
                 'committish': '1228a2e021813c151b0a3d423e2075bf56f8c5ed'},
 'source_type': 10,
 'submitter': 'dmalcolm',
 'task_id': '8476511'}

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

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

Running: git checkout 1228a2e021813c151b0a3d423e2075bf56f8c5ed --

cmd: ['git', 'checkout', '1228a2e021813c151b0a3d423e2075bf56f8c5ed', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-7xhn7sah/idris
rc: 0
stdout: 
stderr: Note: switching to '1228a2e021813c151b0a3d423e2075bf56f8c5ed'.

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 1228a2e update mtl and bounds with upstream patches

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-7xhn7sah/idris
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 idris-1.3.4.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o idris-1.3.4.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/idris/idris-1.3.4.tar.gz/sha512/362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c/idris-1.3.4.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 1679k  100 1679k    0     0  46.8M      0 --:--:-- --:--:-- --:--:-- 48.2M
INFO: Reading stdout from command: sha512sum idris-1.3.4.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-7xhn7sah/idris
rc: 0
stdout: setting SOURCE_DATE_EPOCH=1722556800
Wrote: /var/lib/copr-rpmbuild/results/idris-1.3.4-17.src.rpm
stderr: INFO: Reading stdout from command: git rev-parse --git-dir
INFO: Checked call: rpmbuild -bs /var/lib/copr-rpmbuild/results/idris.spec --define 'dist %nil' --define '_sourcedir /var/lib/copr-rpmbuild/workspace/workdir-7xhn7sah/idris/.' --define '_srcrpmdir /var/lib/copr-rpmbuild/results' --define '_disable_source_fetch 1'

Output: ['idris.spec', 'idris-1.3.4-17.src.rpm']
Running SRPMResults tool
Package info: {
    "name": "idris",
    "epoch": null,
    "version": "1.3.4",
    "release": "17",
    "exclusivearch": [],
    "excludearch": []
}
SRPMResults finished