Warning: Permanently added '98.94.79.81' (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/10435543


Version: 1.8
PID: 12655
Logging PID: 12657
Task:
{'appstream': False,
 'background': False,
 'build_id': 10435543,
 'chroot': None,
 'distributions_in_build': ['fedora-44'],
 'distributions_in_project': ['epel-10', 'epel-9', 'fedora-42', 'fedora-43', 'fedora-44', 'fedora-rawhide'],
 'package_name': None,
 'project_dirname': 'lean4',
 'project_name': 'lean4',
 'project_owner': 'petersen',
 'repos': [],
 'sandbox': 'petersen/lean4--petersen',
 'source_json': {'pkg': 'lean4-4.29.1-1.src.rpm',
                 'tmp': 'tmp5a4k59bf',
                 'url': 'https://copr.fedorainfracloud.org/tmp/tmp5a4k59bf/lean4-4.29.1-1.src.rpm'},
 'source_type': 2,
 'submitter': 'petersen',
 'task_id': '10435543'}

Output: ['lean4-4.29.1-1.src.rpm']
Running SRPMResults tool
Using distributions_in_build for this build.
Extracting arch-specific tags for fedora-44
Package info: {
    "architecture_specific_tags": {
        "fedora-44": {
            "excludearch": [
                "athlon",
                "geode",
                "i386",
                "i486",
                "i586",
                "i686",
                "pentium3",
                "pentium4",
                "s390x"
            ]
        }
    },
    "name": "lean4",
    "epoch": null,
    "version": "4.29.1",
    "release": "1"
}
SRPMResults finished