Warning: Permanently added '44.200.129.165' (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/9726049


Version: 1.6
PID: 60310
Logging PID: 60312
Task:
{'appstream': False,
 'background': False,
 'build_id': 9726049,
 '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': '9726049'}

Running: git clone https://src.fedoraproject.org/forks/dvraaij/rpms/coq.git /var/lib/copr-rpmbuild/workspace/workdir-oylk749z/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-oylk749z/coq', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-oylk749z/coq'...

Running: git checkout update-rocq-9.1.0 --

cmd: ['git', 'checkout', 'update-rocq-9.1.0', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-oylk749z/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-oylk749z/.config/rpkg.conf
Running: rpkg srpm --outdir /var/lib/copr-rpmbuild/results --spec /var/lib/copr-rpmbuild/workspace/workdir-oylk749z/coq

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

Removed downloaded invalid file /var/lib/copr-rpmbuild/workspace/workdir-oylk749z/coq/coq-8.20.1.tar.gz
Server returned status code 503.
stderr: 

Copr build error: