2025-03-29 10:41:49,238 [INFO] {1787322} koji.build.buildroot:509 Running mock as kojibuilder
ERROR: Option --new-chroot has been deprecated. Use --isolation=nspawn instead.
INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r koji/f42-build-3459707-45515 --new-chroot --init
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
Start: clean chroot
Finish: clean chroot
Mock Version: 5.9
INFO: Mock Version: 5.9
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf5 detected and used (fallback)
Start: installing minimal buildroot with dnf5
Finish: installing minimal buildroot with dnf5
Finish: chroot init
INFO: Installed packages:
INFO: add-determinism-0.6.0-1.fc42.riscv64
alternatives-1.31-3.fc42.riscv64
ansible-srpm-macros-1-17.1.fc42.noarch
audit-libs-4.0.3-2.fc42.riscv64
basesystem-11-21.fc41.noarch
bash-5.2.37-3.fc42.riscv64
binutils-2.44-3.fc42.riscv64
build-reproducibility-srpm-macros-0.6.0-1.fc42.noarch
bzip2-1.0.8-20.fc42.riscv64
bzip2-libs-1.0.8-20.fc42.riscv64
ca-certificates-2024.2.69_v8.0.401-5.fc42.noarch
coreutils-9.5-11.fc41.riscv64
coreutils-common-9.5-11.fc41.riscv64
cpio-2.15-4.fc42.riscv64
crypto-policies-20241029-1.git8baf557.fc41.noarch
curl-8.11.1-4.fc42.riscv64
cyrus-sasl-lib-2.1.28-31.fc42.riscv64
debugedit-5.1-5.fc42.riscv64
diffutils-3.10-9.fc42.riscv64
dwz-0.15-8.fc41.riscv64
ed-1.21-2.fc42.riscv64
efi-srpm-macros-6-2.fc42.noarch
elfutils-0.192-9.fc42.riscv64
elfutils-debuginfod-client-0.192-9.fc42.riscv64
elfutils-default-yama-scope-0.192-9.fc42.noarch
elfutils-libelf-0.192-9.fc42.riscv64
elfutils-libs-0.192-9.fc42.riscv64
fedora-gpg-keys-42-0.5.rv64.noarch
fedora-release-42-0.21.noarch
fedora-release-common-42-0.21.noarch
fedora-release-identity-basic-42-0.21.noarch
fedora-repos-42-0.5.rv64.noarch
fedora-repos-rawhide-42-0.5.rv64.noarch
file-5.45-9.fc42.riscv64
file-libs-5.45-9.fc42.riscv64
filesystem-3.18-37.0.riscv64.fc42.riscv64
filesystem-srpm-macros-3.18-37.0.riscv64.fc42.noarch
findutils-4.10.0-5.fc42.riscv64
fonts-srpm-macros-2.0.5-21.fc42.noarch
forge-srpm-macros-0.4.0-2.fc42.noarch
fpc-srpm-macros-1.3-14.fc42.noarch
gawk-5.3.1-1.fc42.riscv64
gdb-minimal-15.2-7.bootstrap.fc42.riscv64
gdbm-libs-1.23-9.fc42.riscv64
ghc-srpm-macros-1.9.2-2.fc42.noarch
glibc-2.40.9000-27.0.riscv64.fc42.riscv64
glibc-common-2.40.9000-27.0.riscv64.fc42.riscv64
glibc-gconv-extra-2.40.9000-27.0.riscv64.fc42.riscv64
glibc-minimal-langpack-2.40.9000-27.0.riscv64.fc42.riscv64
gmp-6.3.0-3.fc42.riscv64
gnat-srpm-macros-6-7.fc42.noarch
go-srpm-macros-3.6.0-6.fc42.noarch
grep-3.11-10.fc42.riscv64
gzip-1.13-3.fc42.riscv64
info-7.2-3.fc42.riscv64
jansson-2.14-2.fc42.riscv64
json-c-0.18-2.fc42.riscv64
kernel-srpm-macros-1.0-25.fc42.noarch
keyutils-libs-1.6.3-5.fc42.riscv64
krb5-libs-1.21.3-5.fc42.riscv64
libacl-2.3.2-3.fc42.riscv64
libarchive-3.7.7-2.fc42.riscv64
libattr-2.5.2-5.fc42.riscv64
libblkid-2.40.4-7.fc42.riscv64
libbrotli-1.1.0-6.fc42.riscv64
libcap-2.73-2.fc42.riscv64
libcap-ng-0.8.5-4.fc42.riscv64
libcom_err-1.47.2-3.fc42.riscv64
libcurl-8.11.1-4.fc42.riscv64
libeconf-0.7.6-1.fc42.riscv64
libevent-2.1.12-15.fc42.riscv64
libfdisk-2.40.4-7.fc42.riscv64
libffi-3.4.6-5.fc42.riscv64
libgcc-15.0.1-0.3.fc42.riscv64
libgomp-15.0.1-0.3.fc42.riscv64
libidn2-2.3.7-3.fc42.riscv64
libmount-2.40.4-7.fc42.riscv64
libnghttp2-1.65.0-1.fc42.riscv64
libpkgconf-2.3.0-2.fc42.riscv64
libpsl-0.21.5-5.fc42.riscv64
libselinux-3.8-1.fc42.riscv64
libsemanage-3.8-1.fc42.riscv64
libsepol-3.8-1.fc42.riscv64
libsmartcols-2.40.4-7.fc42.riscv64
libssh-0.11.1-4.fc42.riscv64
libssh-config-0.11.1-4.fc42.noarch
libstdc++-15.0.1-0.3.fc42.riscv64
libtasn1-4.20.0-1.fc42.riscv64
libtool-ltdl-2.5.4-4.0.riscv64.fc42.riscv64
libunistring-1.1-9.fc42.riscv64
libuuid-2.40.4-7.fc42.riscv64
libverto-0.3.2-10.fc42.riscv64
libxcrypt-4.4.38-6.fc42.riscv64
libxml2-2.12.9-2.fc42.riscv64
libzstd-1.5.7-1.fc42.riscv64
lua-libs-5.4.7-3.fc42.riscv64
lua-srpm-macros-1-15.fc42.noarch
lz4-libs-1.10.0-2.fc42.riscv64
mpfr-4.2.1-6.fc42.riscv64
ncurses-base-6.5-5.20250125.fc42.noarch
ncurses-libs-6.5-5.20250125.fc42.riscv64
ocaml-srpm-macros-10-4.fc42.noarch
openblas-srpm-macros-2-19.fc42.noarch
openldap-2.6.9-4.fc42.riscv64
openssl-libs-3.2.4-3.fc42.riscv64
p11-kit-0.25.5-3.fc41.riscv64
p11-kit-trust-0.25.5-3.fc41.riscv64
package-notes-srpm-macros-0.5-13.fc42.noarch
pam-libs-1.7.0-4.fc42.riscv64
patch-2.7.6-26.fc42.riscv64
pcre2-10.45-1.fc42.riscv64
pcre2-syntax-10.45-1.fc42.noarch
perl-srpm-macros-1-57.fc42.noarch
pkgconf-2.3.0-2.fc42.riscv64
pkgconf-m4-2.3.0-2.fc42.noarch
pkgconf-pkg-config-2.3.0-2.fc42.riscv64
popt-1.19-8.fc42.riscv64
publicsuffix-list-dafsa-20250116-1.fc42.noarch
pyproject-srpm-macros-1.17.0-1.fc42.noarch
python-srpm-macros-3.13-4.fc42.noarch
qt5-srpm-macros-5.15.16-2.fc42.noarch
qt6-srpm-macros-6.8.2-1.fc42.noarch
readline-8.2-13.fc42.riscv64
redhat-rpm-config-342-3.fc42.noarch
rpm-4.20.0-8.fc42.riscv64
rpm-build-4.20.0-8.fc42.riscv64
rpm-build-libs-4.20.0-8.fc42.riscv64
rpm-libs-4.20.0-8.fc42.riscv64
rpm-sequoia-1.7.0-5.fc42.riscv64
rust-srpm-macros-26.3-4.fc42.noarch
sed-4.9-4.fc42.riscv64
setup-2.15.0-13.fc42.noarch
shadow-utils-4.17.0-5.fc42.riscv64
sqlite-libs-3.49.1-1.fc42.riscv64
systemd-libs-257.3-10.fc42.riscv64
systemd-standalone-sysusers-257.3-10.fc42.riscv64
tar-1.35-5.fc42.riscv64
tree-sitter-srpm-macros-0.1.0-8.fc42.noarch
unzip-6.0-66.fc42.riscv64
util-linux-2.40.4-7.fc42.riscv64
util-linux-core-2.40.4-7.fc42.riscv64
which-2.23-1.fc42.riscv64
xxhash-libs-0.8.3-2.fc42.riscv64
xz-5.6.3-3.fc42.riscv64
xz-libs-5.6.3-3.fc42.riscv64
zig-srpm-macros-1-4.fc42.noarch
zip-3.0-43.fc42.riscv64
zlib-ng-compat-2.2.4-1.fc42.riscv64
zstd-1.5.7-1.fc42.riscv64
Finish: run
2025-03-29 10:48:45,040 [INFO] {1792255} koji.build.buildroot:509 Running mock as kojibuilder
ERROR: Option --new-chroot has been deprecated. Use --isolation=nspawn instead.
INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r koji/f42-build-3459707-45515 --new-chroot --chroot 'uname -r'
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
Mock Version: 5.9
INFO: Mock Version: 5.9
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf5 detected and used (fallback)
Finish: chroot init
INFO: Running in chroot: ['uname -r']
Start: chroot ['uname -r']
6.12.6-200.0.riscv64.fc41.riscv64
Finish: chroot ['uname -r']
Finish: run
2025-03-29 10:49:41,629 [INFO] {1792319} koji.build.buildroot:509 Running mock as kojibuilder
ERROR: Option --new-chroot has been deprecated. Use --isolation=nspawn instead.
INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r koji/f42-build-3459707-45515 --new-chroot --no-clean --target riscv64 --rebuild /mnt/storage/tmp/koji/tasks/7708/7167708/local/work/tasks/7545/7167545/gappalib-coq-1.7.0-1.fc42.src.rpm
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
INFO: Start(/mnt/storage/tmp/koji/tasks/7708/7167708/local/work/tasks/7545/7167545/gappalib-coq-1.7.0-1.fc42.src.rpm)  Config(f42-build-3459707-45515)
Mock Version: 5.9
INFO: Mock Version: 5.9
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf5 detected and used (fallback)
INFO: Buildroot is handled by package management from host and used with --installroot:
  rpm-4.19.94-1.rvrebuild0.fc41.riscv64
  rpm-sequoia-1.7.0-2.fc41.riscv64
  python3-dnf-4.22.0-1.fc41.noarch
  python3-dnf-plugins-core-4.10.0-1.fc41.noarch
  dnf5-5.2.6.2-1.fc41.riscv64
  dnf5-plugins-5.2.6.2-1.fc41.riscv64
Finish: chroot init
Start: build phase for gappalib-coq-1.7.0-1.fc42.src.rpm
Start: build setup for gappalib-coq-1.7.0-1.fc42.src.rpm
Finish: build setup for gappalib-coq-1.7.0-1.fc42.src.rpm
Finish: build phase for gappalib-coq-1.7.0-1.fc42.src.rpm
ERROR: Exception(/mnt/storage/tmp/koji/tasks/7708/7167708/local/work/tasks/7545/7167545/gappalib-coq-1.7.0-1.fc42.src.rpm) Config(f42-build-3459707-45515) 0 minutes 45 seconds
INFO: Results and/or logs in: /var/lib/mock/f42-build-3459707-45515/result
ERROR: Command failed: 
 # /usr/bin/dnf5 builddep --installroot /var/lib/mock/f42-build-3459707-45515/root/ /var/lib/mock/f42-build-3459707-45515/root//builddir/build/SRPMS/gappalib-coq-1.7.0-1.fc42.src.rpm --setopt=deltarpm=False --setopt=allow_vendor_change=yes --allowerasing
Updating and loading repositories:
 build                                  100% |  48.1 KiB/s |   2.9 KiB |  00m00s
Repositories loaded.
Failed to resolve the transaction:
Problem 1: conflicting requests
  - nothing provides coq(riscv-64) = 8.18.0 needed by flocq-4.2.0-2.fc41.riscv64 from build
 Problem 2: package coq-8.20.1-1.fc42.riscv64 from build requires coq-core(riscv-64) = 8.20.1-1.fc42, but none of the providers can be installed
  - conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Digest) = 53c6b4c2a619a2a05fa4912189aff5db needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Unit_info) = 695c6d322de68127c6331807c1d4578b needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Asttypes) = 74e275316d6efd496fff300985c4b18a needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Build_path_prefix_map) = 192465e983e06da6d8ffffc5dddaf8c6 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Cmi_format) = 36cb35c3c3544215780fa0ef3d31bbd4 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Ident) = 4d288969bc4ecb0a85e3d9f68047e658 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Identifiable) = ef8a3c53ac404a7dfff3c37b92e99ce2 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Location) = 844adddcecf9a04a89b10a3d5646ffec needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Longident) = 6747fe4e724b89175b45571803354e5d needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Misc) = 7078358dba0dedde2f79112d847baa5b needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Outcometree) = e53e8795dc1e4e797fcfa8401a9b3bc1 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Parsetree) = 506b50c25122112c361475cdcde868b9 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Path) = 3f49992bd9e87d69989a302c2824e16a needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Primitive) = ad38b503ee8b8ae6f79e13cbbdecb899 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Shape) = 5f8e4f057b2c38282bd7e60499489790 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Type_immediacy) = 0e49ebdb2968ad64a88e7e0a24b436b8 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Types) = 80666be99d838d4b27655a94c505ab81 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Warnings) = f54dfac23d447e6407978225480a4b44 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Env) = f626885df8960cdabd22a08db75e7811 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Load_path) = 03b39818919944cbb9adc4dd58236a1c needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Subst) = d1f731a195e84232eb5ef6dabb21769e needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Callback) = b855f824a6cb0f4b58dc69a6e79a49a1 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Clflags) = 5489c28f51560f210c815e49f649bea9 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Profile) = 13311a7e4ffedaa2d871fea99ddef3ff needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Result) = a22dbb2b8adf1a54405deb872b656bf6 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Callback) = bafc96ea60f2aa399fe753ac0e40f764 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int32) = 169fcf1342146c601e097e542ce7d72e needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Marshal) = c40f89db9b2b152ca9702fb26e25cebe needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Fun) = 6323fac31f017ca84abfb37c4d34c8d2 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Mutex) = ba27dcb1cc5359079a8b1f906d95950a needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Str) = dae36249353ed938af10fa5eb52188c6 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Thread) = 5b490b150ff1e6364033394bb6451ee0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Condition) = f7c28c9e283bb97e2695f18133bfb2c0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Seq) = 32ec8cfc901ad0730cd632d9e58304ef needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Digest) = 61a77f360d46597a7b089f21560d0ec5 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Marshal) = 277388c97046e641881cb27cd5c3c5d7 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Mutex) = 7d3a7b8ba0e1ea30b641a3738f372813 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Result) = 9ff0efb5c37661f15a7cb562a9c1e3bc needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Fun) = 37a310ff8f2161abac88ac1166914403 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Condition) = cf4798a79453be1ac4ab5c280ef440b9 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lazy) = 015b5f9334a17aa676ccb9dae6532108 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Thread) = 1668de8f22740ab4205b06b563235902 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Dynlink) = a56ac8159b79d92f0ae348de9483535c needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Toploop) = 59f0c62c356215b7a5866ca6141426c3 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Z) = 824b141da65e7a4a8263069b6f02d10f needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Findlib) = 556ae83014f3bbe2e3a281e24d0e71d5 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Ephemeron) = bc249a10b47eb82a885e54390cffc65e needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__In_channel) = 4b2cf1b18b90ba135e4a869ce340ef50 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Big_int_Z) = 312ffaa81870b7daca9308902c34a77d needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Compenv) = 653f826d73994cc270fcd9c13a6d5c21 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Fl_metascanner) = a111babdc5dbcbf86ed8307a81386faf needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Fl_metatoken) = 340287de9359d64fea5892429369d450 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Fl_package_base) = c4f14a3458e36361676a543ce7e7bd04 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Ephemeron) = 41fb7c3afa3d4ae12dc5a6820eaa3861 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Q) = 1af22509096e7b7d36c73dbb98ae8ebe needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Big_int_Z) = 511cd6b7cdf28522844d5323b5db6aff needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Fl_dynload) = fd271d3fd7588849ee7535f94af029a0 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocaml(Stdlib__Bool) = 668dfb5497f2da0c610462164093cead needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Dynlink_common) = 84f05de8a3334ff173818c452760d1b3 needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bool) = 5d6c5ac2349af43765e22604e28484ad needed by coq-core-8.20.1-1.fc42.riscv64 from build
  - nothing provides ocamlx(Zarith_version) = 71333a97091668efb47ff693efd9876b needed by coq-core-8.20.1-1.fc42.riscv64 from build