Warning: Permanently added '54.236.218.197' (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/9629923


Version: 1.5
PID: 8706
Logging PID: 8708
Task:
{'appstream': False,
 'background': False,
 'build_id': 9629923,
 'chroot': None,
 'package_name': None,
 'project_dirname': 'rocq',
 'project_name': 'rocq',
 'project_owner': 'dvraaij',
 'repos': [],
 'sandbox': 'dvraaij/rocq--dvraaij',
 'source_json': {'clone_url': 'https://src.fedoraproject.org/forks/dvraaij/rpms/coq.git',
                 'committish': 'update-rocq-9.1.0',
                 'spec': '',
                 'srpm_build_method': 'rpkg',
                 'subdirectory': '',
                 'type': 'git'},
 'source_type': 8,
 'submitter': 'dvraaij',
 'task_id': '9629923'}

Running: git clone https://src.fedoraproject.org/forks/dvraaij/rpms/coq.git /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq --depth 500 --no-single-branch --recursive

cmd: ['git', 'clone', 'https://src.fedoraproject.org/forks/dvraaij/rpms/coq.git', '/var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq'...

Running: git checkout update-rocq-9.1.0 --

cmd: ['git', 'checkout', 'update-rocq-9.1.0', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq
rc: 0
stdout: branch 'update-rocq-9.1.0' set up to track 'origin/update-rocq-9.1.0'.
stderr: Switched to a new branch 'update-rocq-9.1.0'

Generated rpkg config:
[rpkg]
preprocess_spec = True

[git]
anon_clone_url = https://src.fedoraproject.org/%(repo_path)s

[lookaside]
download_url = https://src.fedoraproject.org/repo/pkgs/%(ns1)s/%(name)s/%(filename)s/%(hashtype)s/%(hash)s/%(filename)s

Writing config into /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/.config/rpkg.conf
Running: rpkg srpm --outdir /var/lib/copr-rpmbuild/results --spec /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq

cmd: ['rpkg', 'srpm', '--outdir', '/var/lib/copr-rpmbuild/results', '--spec', '/var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-i3uauxpf/coq
rc: 0
stdout: Downloading coq-8.20.1.tar.gz from forks/dvraaij/rpms/coq at src.fedoraproject.org:

Wrote: /var/lib/copr-rpmbuild/results/rocq.spec
setting SOURCE_DATE_EPOCH=1759104000
Wrote: /var/lib/copr-rpmbuild/results/rocq-9.1.0-1.src.rpm

RPM build warnings:
stderr: warning: Downloading https://github.com/rocq-prover/rocq/archive/V9.1.0/rocq-9.1.0.tar.gz to /var/lib/copr-rpmbuild/results/rocq-9.1.0.tar.gz
    Downloading https://github.com/rocq-prover/rocq/archive/V9.1.0/rocq-9.1.0.tar.gz to /var/lib/copr-rpmbuild/results/rocq-9.1.0.tar.gz

Output: ['rocq-mathlib.patch', 'rocq.spec', 'rocq.xml', 'rocq-9.1.0.tar.gz', 'rocq-9.1.0-1.src.rpm', 'fr.inria.rocqide.metainfo.xml', 'fr.inria.rocqide.desktop']
Running SRPMResults tool
Failed to create a dummy source: /var/lib/copr-rpmbuild/results/fr.inria.rocqide.desktop
Failed to create a dummy source: /var/lib/copr-rpmbuild/results/fr.inria.rocqide.metainfo.xml
Failed to create a dummy source: /var/lib/copr-rpmbuild/results/rocq-mathlib.patch
Failed to create a dummy source: /var/lib/copr-rpmbuild/results/rocq.xml
Package info: {
    "name": "rocq",
    "epoch": null,
    "version": "9.1.0",
    "release": "1",
    "exclusivearch": [
        "aarch64",
        "ppc64",
        "ppc64p7",
        "ppc64le",
        "riscv64",
        "s390x",
        "x86_64"
    ],
    "excludearch": []
}
SRPMResults finished