Warning: Permanently added '54.165.110.212' (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/10249752


Version: 1.6
PID: 12405
Logging PID: 12407
Task:
{'appstream': False,
 'background': False,
 'build_id': 10249752,
 '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-refined-0.1.0-1.20260121.src.rpm',
                 'tmp': 'tmpmdaoc6fu',
                 'url': 'https://copr.fedorainfracloud.org/tmp/tmpmdaoc6fu/idris2-refined-0.1.0-1.20260121.src.rpm'},
 'source_type': 2,
 'submitter': 'petersen',
 'task_id': '10249752'}

Output: ['idris2-refined-0.1.0-1.20260121.src.rpm']
Running SRPMResults tool
Package info: {
    "name": "idris2-refined",
    "epoch": null,
    "version": "0.1.0",
    "release": "1.20260121",
    "exclusivearch": [],
    "excludearch": []
}
SRPMResults finished