Warning: Permanently added '54.172.99.166' (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/10249571


Version: 1.6
PID: 16030
Logging PID: 16032
Task:
{'appstream': False,
 'background': False,
 'build_id': 10249571,
 'chroot': None,
 'package_name': None,
 'project_dirname': 'idris2-pack',
 'project_name': 'idris2-pack',
 'project_owner': 'petersen',
 'repos': [],
 'sandbox': 'petersen/idris2-pack--petersen',
 'source_json': {'pkg': 'idris2-elab-util-0.6.0-1.20260126.src.rpm',
                 'tmp': 'tmpxg20rfz3',
                 'url': 'https://copr.fedorainfracloud.org/tmp/tmpxg20rfz3/idris2-elab-util-0.6.0-1.20260126.src.rpm'},
 'source_type': 2,
 'submitter': 'petersen',
 'task_id': '10249571'}

Output: ['idris2-elab-util-0.6.0-1.20260126.src.rpm']
Running SRPMResults tool
Package info: {
    "name": "idris2-elab-util",
    "epoch": null,
    "version": "0.6.0",
    "release": "1.20260126",
    "exclusivearch": [],
    "excludearch": []
}
SRPMResults finished