9.0-1.fc37.riscv64
glibc-minimal-langpack-2.36-7.fc37.riscv64
bzip2-libs-1.0.8-12.fc37.riscv64
ncurses-libs-6.3-3.20220501.fc37.riscv64
libeconf-0.4.0-4.fc37.riscv64
libtool-ltdl-2.4.7-2.fc37.riscv64
libpsl-0.21.1-6.fc37.riscv64
ncurses-base-6.3-3.20220501.fc37.noarch
xz-libs-5.2.5-10.fc37.riscv64
p11-kit-trust-0.24.1-3.fc37.riscv64
sed-4.8-11.2.riscv64.fc37.riscv64
rpm-libs-4.18.0-1.fc37.rvre0.riscv64
libmount-2.38.1-1.1.riscv64.fc37.riscv64
ed-1.18-2.fc37.riscv64
fedora-release-identity-basic-37-0.12.noarch
lua-libs-5.4.4-4.fc37.riscv64
libtirpc-1.3.3-0.fc37.riscv64
cpio-2.13-13.fc37.riscv64
libacl-2.3.1-4.fc37.riscv64
crypto-policies-20220815-1.gite4ed860.fc37.noarch
libffi3.1-3.1-34.0.riscv64.fc37.riscv64
ca-certificates-2022.2.54-5.fc37.noarch
libdb-5.3.28-53.fc37.riscv64
package-notes-srpm-macros-0.5-6.fc37.noarch
lz4-libs-1.9.3-5.fc37.riscv64
efi-srpm-macros-4-2.0.riscv64.fc31.noarch
elfutils-default-yama-scope-0.187-8.1.riscv64.fc37.noarch
p11-kit-0.24.1-3.fc37.riscv64
filesystem-3.18-2.fc37.riscv64
make-4.3-11.fc37.riscv64
perl-srpm-macros-1-46.fc37.rvre0.noarch
sqlite-libs-3.39.2-2.fc37.riscv64
libxml2-2.9.14-3.fc37.riscv64
libsigsegv-2.14-3.fc37.riscv64
python-srpm-macros-3.11-4.fc37.noarch
libgcc-12.2.1-1.1.riscv64.fc37.riscv64
go-srpm-macros-3.0.15-1.0.riscv64.fc33.noarch
pam-1.5.2-14.fc37.rvre2.riscv64
gdb-minimal-12.1-6.0.riscv64.fc37.riscv64
glibc-2.36-7.fc37.riscv64
rpm-4.18.0-1.fc37.rvre0.riscv64
tar-1.34-5.fc37.riscv64
pam-libs-1.5.2-14.fc37.rvre2.riscv64
elfutils-0.187-8.1.riscv64.fc37.riscv64
libatomic-12.2.1-1.1.riscv64.fc37.riscv64
libuuid-2.38.1-1.1.riscv64.fc37.riscv64
ocaml-srpm-macros-7-2.fc37.noarch
fpc-srpm-macros-1.3-6.fc37.noarch
pkgconf-1.8.0-3.fc37.riscv64
shadow-utils-4.12.3-2.fc37.riscv64
Finish: run
2022-11-15 10:10:23,080 [INFO] {92557} koji.build.buildroot:551 Running mock as kojibuilder
INFO: mock.py version 2.15 starting (python version = 3.9.7, NVR = mock-2.15-1.fc33)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
Mock Version: 2.15
INFO: Mock Version: 2.15
Finish: chroot init
INFO: Running in chroot: ['uname -r']
Start: chroot ['uname -r']
5.18.8-200.0.riscv64.fc33.riscv64
Finish: chroot ['uname -r']
2022-11-15 10:10:36,352 [INFO] {92605} koji.build.buildroot:551 Running mock as kojibuilder
INFO: mock.py version 2.15 starting (python version = 3.9.7, NVR = mock-2.15-1.fc33)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
INFO: Start(/tmp/koji/tasks/9667/1309667/local/work/tasks/9214/1309214/coq-8.16.0-2.fc37.src.rpm)  Config(f37-build-677944-76313)
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
Mock Version: 2.15
INFO: Mock Version: 2.15
Finish: chroot init
Start: build phase for coq-8.16.0-2.fc37.src.rpm
Start: build setup for coq-8.16.0-2.fc37.src.rpm
Finish: build setup for coq-8.16.0-2.fc37.src.rpm
Finish: build phase for coq-8.16.0-2.fc37.src.rpm
ERROR: Exception(/tmp/koji/tasks/9667/1309667/local/work/tasks/9214/1309214/coq-8.16.0-2.fc37.src.rpm) Config(f37-build-677944-76313) 0 minutes 15 seconds
INFO: Results and/or logs in: /var/lib/mock/f37-build-677944-76313/result
ERROR: Command failed: 
 # /usr/bin/dnf builddep --installroot /var/lib/mock/f37-build-677944-76313/root/ --setopt=install_weak_deps=0 --disableplugin=local --disableplugin=spacewalk --disableplugin=versionlock /var/lib/mock/f37-build-677944-76313/root//builddir/build/SRPMS/coq-8.16.0-2.fc37.src.rpm
No matches found for the following disable plugin patterns: local, spacewalk, versionlock
Last metadata expiration check: 0:00:02 ago on Tue Nov 15 10:05:38 2022.
No matching package to install: 'antlr4'
Package make-1:4.3-11.fc37.riscv64 is already installed.
No matching package to install: 'python3dist(antlr4-python3-runtime)'
Not all dependencies satisfied
Error: Some packages could not be found.