Warning: Permanently added '100.27.222.19' (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/10188243


Version: 1.6
PID: 10027
Logging PID: 10029
Task:
{'appstream': False,
 'background': False,
 'build_id': 10188243,
 'chroot': None,
 'package_name': None,
 'project_dirname': 'CentOs-7',
 'project_name': 'CentOs-7',
 'project_owner': 'amidevous',
 'repos': [],
 'sandbox': 'amidevous/CentOs-7--amidevous',
 'source_json': {'url': 'https://archives.fedoraproject.org/pub/archive/epel/7/SRPMS/Packages/a/Agda-2.3.2.2-5.el7.src.rpm'},
 'source_type': 1,
 'submitter': 'amidevous',
 'task_id': '10188243'}

Output: ['Agda-2.3.2.2-5.el7.src.rpm']
Running SRPMResults tool
Unknown macros in ExclusiveArch: %{ghc_arches_with_ghci}
Package info: {
    "name": "Agda",
    "epoch": null,
    "version": "2.3.2.2",
    "release": "5",
    "exclusivearch": [],
    "excludearch": [
        "armv7hl"
    ]
}
SRPMResults finished