Warning: Permanently added '34.201.140.137' (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/8302268


Version: 1.2
PID: 9086
Logging PID: 9087
Task:
{'appstream': False,
 'background': False,
 'build_id': 8302268,
 '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-3.src.rpm',
                 'tmp': 'tmpvbcfjmmc',
                 'url': 'https://copr.fedorainfracloud.org/tmp/tmpvbcfjmmc/lean4-4.13.0-3.src.rpm'},
 'source_type': 2,
 'submitter': 'petersen',
 'task_id': '8302268'}

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