Warning: Permanently added '54.221.124.85' (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/8305837


Version: 1.2
PID: 9402
Logging PID: 9403
Task:
{'appstream': False,
 'background': False,
 'build_id': 8305837,
 'chroot': None,
 'package_name': None,
 'project_dirname': 'lean4',
 'project_name': 'lean4',
 'project_owner': 'petersen',
 'repos': [],
 'sandbox': 'petersen/lean4--petersen',
 'source_json': {'pkg': 'lean4-4.13.0-4.src.rpm',
                 'tmp': 'tmp2t3g9nqx',
                 'url': 'https://copr.fedorainfracloud.org/tmp/tmp2t3g9nqx/lean4-4.13.0-4.src.rpm'},
 'source_type': 2,
 'submitter': 'petersen',
 'task_id': '8305837'}

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