Warning: Permanently added '44.222.131.172' (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/9625163 Version: 1.5 PID: 43065 Logging PID: 43067 Task: {'appstream': False, 'background': False, 'build_id': 9625163, 'chroot': None, 'package_name': None, 'project_dirname': 'rocq', 'project_name': 'rocq', 'project_owner': 'dvraaij', 'repos': [], 'sandbox': 'dvraaij/rocq--dvraaij', 'source_json': {'clone_url': 'https://gitlab.com/dvraaij/fedora-rocq-stdlib.git', 'committish': 'rawhide', 'spec': '', 'srpm_build_method': 'rpkg', 'subdirectory': '', 'type': 'git'}, 'source_type': 8, 'submitter': 'dvraaij', 'task_id': '9625163'} Running: git clone https://gitlab.com/dvraaij/fedora-rocq-stdlib.git /var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://gitlab.com/dvraaij/fedora-rocq-stdlib.git', '/var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib'... Running: git checkout rawhide -- cmd: ['git', 'checkout', 'rawhide', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib rc: 0 stdout: Your branch is up to date with 'origin/rawhide'. stderr: Already on 'rawhide' Generated rpkg config: [rpkg] preprocess_spec = True [git] anon_clone_url = https://gitlab.com/%(repo_path)s [lookaside] download_url = https://${git_props:remote_netloc}/repo/pkgs/%(repo_path)s/%(filename)s/%(hashtype)s/%(hash)s/%(filename)s Writing config into /var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/.config/rpkg.conf Running: rpkg srpm --outdir /var/lib/copr-rpmbuild/results --spec /var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib cmd: ['rpkg', 'srpm', '--outdir', '/var/lib/copr-rpmbuild/results', '--spec', '/var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-7otf2yru/fedora-rocq-stdlib rc: 0 stdout: Wrote: /var/lib/copr-rpmbuild/results/rocq-stdlib.spec setting SOURCE_DATE_EPOCH=1759017600 Wrote: /var/lib/copr-rpmbuild/results/rocq-stdlib-9.0.0-1.src.rpm RPM build warnings: stderr: warning: Downloading https://github.com/rocq-prover/stdlib/archive/V9.0.0/rocq-stdlib-9.0.0.tar.gz to /var/lib/copr-rpmbuild/results/rocq-stdlib-9.0.0.tar.gz Downloading https://github.com/rocq-prover/stdlib/archive/V9.0.0/rocq-stdlib-9.0.0.tar.gz to /var/lib/copr-rpmbuild/results/rocq-stdlib-9.0.0.tar.gz Output: ['rocq-stdlib-9.0.0.tar.gz', 'rocq-stdlib-9.0.0-1.src.rpm', 'rocq-stdlib.spec'] Running SRPMResults tool Package info: { "name": "rocq-stdlib", "epoch": null, "version": "9.0.0", "release": "1", "exclusivearch": [ "aarch64", "ppc64", "ppc64p7", "ppc64le", "riscv64", "s390x", "x86_64" ], "excludearch": [] } SRPMResults finished