2024-06-04 11:54:50,333 [INFO] {351884} koji.build.buildroot:564 Running mock as kojibuilder
INFO: mock.py version 5.0 starting (python version = 3.11.5, NVR = mock-5.0-1.fc38)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
Start: clean chroot
Finish: clean chroot
Mock Version: 5.0
INFO: Mock Version: 5.0
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf detected and used (fallback)
Start: installing minimal buildroot with dnf
Finish: installing minimal buildroot with dnf
Finish: chroot init
INFO: Installed packages:
INFO: rpm-sequoia-1.6.0-3.fc41.riscv64
crypto-policies-20240521-1.gitf71d135.fc41.noarch
rust-srpm-macros-26.3-1.fc41.noarch
basesystem-11-20.fc40.noarch
libnghttp2-1.59.0-2.fc40.riscv64
binutils-2.42.50-11.fc41.riscv64
elfutils-libelf-0.191-7.fc41.riscv64
libpsl-0.21.5-3.fc40.riscv64
fonts-srpm-macros-2.0.5-14.fc40.noarch
sed-4.9-1.0.riscv64.fc40.riscv64
libstdc++-14.1.1-4.fc41.riscv64
libselinux-3.6-4.fc41.riscv64
libutempter-1.2.1-13.fc40.riscv64
bzip2-1.0.8-18.fc41.riscv64
zip-3.0-40.fc41.riscv64
libgomp-14.1.1-4.fc41.riscv64
pcre2-syntax-10.43-2.fc41.1.noarch
xz-libs-5.4.6-3.fc41.riscv64
redhat-rpm-config-288-1.1.riscv64.fc41.noarch
pkgconf-2.1.0-1.fc40.riscv64
util-linux-core-2.40.1-1.fc41.riscv64
lua-srpm-macros-1-13.fc40.noarch
zlib-ng-compat-2.1.6-4.fc41.riscv64
mpfr-4.2.1-3.fc40.riscv64
glibc-common-2.39.9000-18.fc41.riscv64
fedora-release-identity-basic-41-0.10.noarch
rpm-libs-4.19.1.1-2.fc41.riscv64
libbrotli-1.1.0-3.fc41.riscv64
pyproject-srpm-macros-1.12.0-1.fc40.noarch
libsemanage-3.6-3.fc40.riscv64
xxhash-libs-0.8.2-2.fc40.riscv64
libcap-ng-0.8.5-1.fc41.riscv64
publicsuffix-list-dafsa-20240107-3.fc40.noarch
libuuid-2.40.1-1.fc41.riscv64
curl-8.6.0-7.fc40.riscv64
libpwquality-1.4.5-9.fc40.riscv64
libblkid-2.40.1-1.fc41.riscv64
cyrus-sasl-lib-2.1.28-19.fc40.riscv64
gzip-1.13-1.fc41.riscv64
readline-8.2-8.fc40.riscv64
gmp-6.3.0-1.fc41.riscv64
gdb-minimal-14.2-9.fc41.riscv64
ed-1.20.1-1.fc40.riscv64
qt5-srpm-macros-5.15.14-1.fc41.noarch
krb5-libs-1.21.2-5.fc41.riscv64
xz-5.4.6-3.fc41.riscv64
libcom_err-1.47.0-5.fc41.riscv64
setup-2.14.5-2.fc40.noarch
info-7.1-2.fc40.riscv64
python-srpm-macros-3.12-7.fc40.noarch
libpkgconf-2.1.0-1.fc40.riscv64
libssh-config-0.10.6-2.0.riscv64.fc40.noarch
libxcrypt-4.4.36-5.fc41.riscv64
libidn2-2.3.7-1.fc41.riscv64
kernel-srpm-macros-1.0-19.0.riscv64.fc38.noarch
libtasn1-4.19.0-6.0.riscv64.fc40.riscv64
libtirpc-1.3.4-1.rc3.fc40.riscv64
perl-srpm-macros-1-53.fc40.noarch
qt6-srpm-macros-6.7.1-1.fc41.noarch
pcre2-10.43-2.fc41.1.riscv64
libcurl-8.6.0-7.fc40.riscv64
rpm-build-4.19.1.1-2.fc41.riscv64
which-2.21-41.fc41.riscv64
coreutils-9.4-1.0.riscv64.fc40.riscv64
libarchive-3.7.4-1.fc41.riscv64
libverto-0.3.2-8.fc41.riscv64
libcap-2.70-1.fc41.riscv64
pkgconf-pkg-config-2.1.0-1.fc40.riscv64
filesystem-3.18-9.0.riscv64.fc41.riscv64
patch-2.7.6-24.fc40.riscv64
libattr-2.5.2-3.fc40.riscv64
lua-libs-5.4.6-5.fc40.riscv64
ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch
libfdisk-2.40.1-1.fc41.riscv64
glibc-2.39.9000-18.fc41.riscv64
ocaml-srpm-macros-10-2.fc41.noarch
libtool-ltdl-2.4.7-10.1.riscv64.fc40.riscv64
elfutils-default-yama-scope-0.191-7.fc41.noarch
systemd-libs-255.4-1.fc40.riscv64
rpm-4.19.1.1-2.fc41.riscv64
ansible-srpm-macros-1-14.fc40.noarch
libunistring-1.1-7.fc40.riscv64
unzip-6.0-63.fc41.riscv64
glibc-gconv-extra-2.39.9000-18.fc41.riscv64
tar-1.35-3.fc40.riscv64
keyutils-libs-1.6.3-3.fc41.riscv64
jansson-2.13.1-9.fc40.riscv64
findutils-4.9.0-8.fc40.riscv64
lz4-libs-1.9.4-6.fc41.riscv64
package-notes-srpm-macros-0.5-11.fc40.noarch
authselect-1.5.0-5.fc40.riscv64
bash-5.2.26-3.fc41.riscv64
zig-srpm-macros-1-2.fc40.noarch
fpc-srpm-macros-1.3-12.fc40.noarch
libxml2-2.12.7-1.fc41.riscv64
gdbm-libs-1.23-6.fc40.riscv64
rpm-build-libs-4.19.1.1-2.fc41.riscv64
libacl-2.3.2-1.fc40.riscv64
libeconf-0.6.2-1.fc40.riscv64
fedora-gpg-keys-41-0.1.noarch
file-libs-5.45-4.fc40.riscv64
file-5.45-4.fc40.riscv64
popt-1.19-6.fc40.riscv64
glibc-minimal-langpack-2.39.9000-18.fc41.riscv64
gawk-5.3.0-1.0.riscv64.fc40.riscv64
ncurses-base-6.4-12.20240127.fc41.noarch
ghc-srpm-macros-1.6.1-3.0.riscv64.fc40.noarch
efi-srpm-macros-5-11.0.riscv64.fc40.noarch
forge-srpm-macros-0.2.0-3.fc40.noarch
p11-kit-0.25.3-4.fc40.riscv64
go-srpm-macros-3.6.0-1.fc41.noarch
libsmartcols-2.40.1-1.fc41.riscv64
openblas-srpm-macros-2-12.0.riscv64.fc37.noarch
audit-libs-3.1-2.1.riscv64.fc40.riscv64
libmount-2.40.1-1.fc41.riscv64
debugedit-5.0-14.fc40.riscv64
pkgconf-m4-2.1.0-1.fc40.noarch
shadow-utils-4.13-6.fc38.riscv64
gnat-srpm-macros-6-5.fc40.noarch
diffutils-3.10-5.fc40.riscv64
alternatives-1.26-3.fc40.riscv64
elfutils-libs-0.191-7.fc41.riscv64
util-linux-2.40.1-1.fc41.riscv64
openldap-2.6.7-1.fc40.riscv64
libsepol-3.6-3.fc41.riscv64
ncurses-libs-6.4-12.20240127.fc41.riscv64
gdbm-1.23-6.fc40.riscv64
dwz-0.15-6.fc41.riscv64
libssh-0.10.6-2.0.riscv64.fc40.riscv64
bzip2-libs-1.0.8-18.fc41.riscv64
openssl-libs-3.1.4-1.0.riscv64.fc40.riscv64
p11-kit-trust-0.25.3-4.fc40.riscv64
fedora-repos-rawhide-41-0.1.noarch
fedora-repos-41-0.1.noarch
fedora-release-41-0.10.noarch
libevent-2.1.12-13.fc41.riscv64
pam-1.6.0-2.fc40.riscv64
libgcc-14.1.1-4.fc41.riscv64
pam-libs-1.6.0-2.fc40.riscv64
cracklib-2.9.11-5.fc40.riscv64
authselect-libs-1.5.0-5.fc40.riscv64
libzstd-1.5.6-1.fc41.riscv64
coreutils-common-9.4-1.0.riscv64.fc40.riscv64
elfutils-debuginfod-client-0.191-7.fc41.riscv64
libffi-3.4.4-5.0.riscv64.fc40.riscv64
fedora-release-common-41-0.10.noarch
elfutils-0.191-7.fc41.riscv64
zstd-1.5.6-1.fc41.riscv64
sqlite-libs-3.45.3-1.fc41.riscv64
libnsl2-2.0.1-1.fc40.riscv64
grep-3.11-7.fc40.riscv64
cpio-2.15-1.fc41.riscv64
Finish: run
2024-06-04 11:57:29,108 [INFO] {352429} koji.build.buildroot:564 Running mock as kojibuilder
INFO: mock.py version 5.0 starting (python version = 3.11.5, NVR = mock-5.0-1.fc38)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
Mock Version: 5.0
INFO: Mock Version: 5.0
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf detected and used (fallback)
Finish: chroot init
INFO: Running in chroot: ['uname -r']
Start: chroot ['uname -r']
6.1.55
Finish: chroot ['uname -r']
2024-06-04 11:57:35,789 [INFO] {352508} koji.build.buildroot:564 Running mock as kojibuilder
INFO: mock.py version 5.0 starting (python version = 3.11.5, NVR = mock-5.0-1.fc38)...
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
INFO: Start(/tmp/koji/tasks/2849/1702849/local/work/tasks/2762/1702762/why3-1.7.2-2.fc41.src.rpm)  Config(f41-build-811945-147589)
Mock Version: 5.0
INFO: Mock Version: 5.0
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf detected and used (fallback)
Finish: chroot init
Start: build phase for why3-1.7.2-2.fc41.src.rpm
Start: build setup for why3-1.7.2-2.fc41.src.rpm
Finish: build setup for why3-1.7.2-2.fc41.src.rpm
Finish: build phase for why3-1.7.2-2.fc41.src.rpm
ERROR: Exception(/tmp/koji/tasks/2849/1702849/local/work/tasks/2762/1702762/why3-1.7.2-2.fc41.src.rpm) Config(f41-build-811945-147589) 0 minutes 10 seconds
INFO: Results and/or logs in: /var/lib/mock/f41-build-811945-147589/result
ERROR: Command failed: 
 # /usr/bin/dnf-3 builddep --installroot /var/lib/mock/f41-build-811945-147589/root/ --setopt=install_weak_deps=0 --disableplugin=local --disableplugin=spacewalk --disableplugin=versionlock /var/lib/mock/f41-build-811945-147589/root//builddir/build/SRPMS/why3-1.7.2-2.fc41.src.rpm
No matches found for the following disable plugin patterns: local, spacewalk, versionlock
Last metadata expiration check: 0:00:01 ago on Tue Jun  4 11:54:57 2024.
Error: 
 Problem 1: conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lexing) = 205a58326f15a36b4e1f758ba16830f3 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printexc) = 3d494d5741edf2d74fa1ea8b45eaf16c needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Callback) = 34d77bf0657b063f4d951e989d10ffe6 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Parsing) = bb547742ac0ae3e655d514a89cd52cd3 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Callback) = ee989b890b6c27e7cb27a716a749c705 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpf) = 3686bc50c14862b5c9d7063ecf40b390 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpfr) = cea4349830a0444662ec4bd8094fa065 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpfrf) = 68fd09da823875a3b6df1d60bf2f9b82 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpq) = 81cf0a5938ffe8a64d9ab5afe9ad8627 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpqf) = fda32d9751b885f3a210912a8bde4689 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpz) = 75a392c7812fc1ce3e4bd0825fee7d6f needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocaml(Mpzf) = 0f6923969a66bd2d0ad19f566ad8aa1a needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Mpq) = ae6bf94ced4f0496e4f5c5d15c7d8fbd needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Mpqf) = 227d2f952b523d08898e8255407a43fa needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Mpfr) = bf433489fb9953698aa27500edb74c76 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Mpfrf) = fb2e24b7525d803295d524b18cc80991 needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
  - nothing provides ocamlx(Mpzf) = 8eba64a9f03b1b04c581e1c772762fae needed by ocaml-apron-devel-0.9.14-7.fc40.riscv64 from build
 Problem 2: conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(CamlinternalOO) = a1eccd2d96abb9f3928b69663a92aa71 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__ListLabels) = 2ac20cbf1425aaf96d02b4b2686bcddc needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__StringLabels) = 864618e2d8497323dfe6eaa95ace4763 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__StdLabels) = 2ec10ae58b11d4432d5a415c6b7a2d80 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Asttypes) = 2fec55a0aeccaffbf3a95eaddab5b3d8 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Build_path_prefix_map) = 791ca7cf44dcc6d80bd0ac95f1360863 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Cmi_format) = 36b108558b2217983df987ae080b4367 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Env) = 150ab58e7808a96ae32211f82ab2f5df needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ident) = 08393b21bb2edca3287808ae5cdf1404 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Identifiable) = 0446cf0e9e475501b8d6bb252f233bd3 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Load_path) = 0c40e46ce6a453ac68ac365814fc6f7d needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Location) = b2b648051dc14300e3c2b2717a94393a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Longident) = f82fd0095c1a0ab8a24744a429e2f8e2 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Misc) = 2a1a1aea63bf83a15ccbb70c4ffc99c6 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Outcometree) = 391525ead3ced20448a5d0c934ea518e needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Parsetree) = ffb8b245b3c93fab76140d2a644faaf2 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Path) = 0cb7b2198138e42a1572b9a059fc0a1a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Primitive) = 7d536868a20f7cdc41cbf9e8f547d513 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Shape) = eb7f59d519893df4dab5f84ebdbcd870 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Subst) = 151f94df7fbabd871b7d9172d88fb19c needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Type_immediacy) = 227f6b0b51f1d38ac13b388e818d23fb needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Types) = b1ee1d2edc06a321e60f06b6859bc2a6 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Warnings) = 65100f5a8952322117a187d2c3cc3a17 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0) = da2e06de8fd3ab3c3312a5087c15bc02 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0__) = 8033225efa038eff515c43d23b40c472 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0__Sexp) = 33f64829dc3aad61dee97575a841779f needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0__Sexp_conv) = 1c2239a71ab63d5f067bb5532b03d5ba needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0__Sexp_conv_grammar) = 8cd4061c271970c054aa9b24c1585eb2 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0__Sexp_grammar) = cd7ac65e86daa8907eacf8c0d6694f94 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Clflags) = a276c147c7457c1d177b08f35d42903b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Profile) = c969843f3c714da90bef408ecab6172c needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Compmisc) = 427f5cae0454b302f27d2d43d698482a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__BytesLabels) = 918000efba5a2e1f305ef7c9ae5c8952 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib) = 022a5870c103c943ea518f1de89c3907 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__) = f69b2e6e8f248f350869051343dbbf41 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_402) = b25da1e6c1903a052f5c7e7f277ccfbd needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_403) = ce4df2f79b58fb7f024c79189af599b4 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_404) = 491b8f5a72faf638c1a7754f6f1dec94 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_405) = 913b11eef17fad7a8a8e51343ec6bacf needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_406) = 76981f51e8f48d0b700ca1a46879cb97 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_407) = a3cac93860e66247598a2f1527943a12 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_408) = e1dc2525a2bc065707fc01589ea52c04 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_409) = 509349eab948b599cfdd03a58ba1961b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_410) = 171e4f5d6d3005d6580a2fe263c9d6e8 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_411) = 1eba79bf0544b46e76b7084031e1a82b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_412) = 3eb553140904c738a37019d273d8fba9 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_413) = f05013cd109db1b14f29acc11cc00bbe needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_414) = 69b370d08672d937f3a79d6e46eb8fb3 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_500) = cacaf0b24570a8205b66f609a2548dfe needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Ast_501) = cf2241bc18f251df9992ef80a8689426 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Location) = 6e6e99faa2df39d781e5651a78670055 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Longident) = 0ac0e98eb16ee1bfeea12396cc6e2259 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Parse) = cb695187642e932409cfcb4383afc1ab needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ocaml_common) = 31d4c314a3e8bb8e47c0ddb4407f3875 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ocaml_shadow) = 9f46c8d8a4865e490e5e49d3f5f46346 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib) = c07e478f79b613deed31d4a453e0c680 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__) = 4a51e00059af5f5d4f08fe4fc27c11ed needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Ast_pattern) = 172c264f779f139052779e8fd54d6fcb needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Ast_pattern0) = ffcbc4e59fc9512ae6ee22c628519a1d needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Ast_pattern_generated) = 3ad8aa9905da6a4da78ad3312108144b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Ast_traverse) = 42080db07a5c73b439819c7f3f0b516f needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Ast_traverse0) = 72b1ab65039bf15d4495464b79ae17e1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Attribute) = a27e7eb2b71bf560e7d7b5eb71486d08 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Code_path) = 1dd3728fd560f0f47b4e610749695e4a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Common) = 3e53f44c9491c8868138f9c8620ec193 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Expansion_context) = d23c905f86cbacdb4e3a36489c7bdc55 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Import) = 927cb9cd05638daea5069737b17d5cf1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Loc) = b7d0046783a2dfb1eb233ab68014a69b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Location) = 0d8b41b06e871d23d5c226997d8408c1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Longident) = ec23e60cb4cb449cd1e4322d70314884 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Name) = ca43976e6d994547c8d65b3b7321298c needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Utils) = 6cdb71d039fc0bc1c25e4e2642c054df needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_ast) = 02793ae52c5e56f77e55ec7ee883499a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_ast__) = b67b9f4a363bf995d07d608b02721478 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_ast__Ast) = 3f1a863d9a64b77517d4b1c0085dfa45 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_ast__Import) = 1bde0a2689904de65296673d59c607e9 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_ast__Versions) = 052bbd17a543d08a46583658e005df09 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_traverse_builtins) = edda7478fa265e547bc523133cfa5f0d needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdppx) = 3d3ad13e9ccf95b5f883a1502dfe1971 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Sexplib0__Sexpable) = fb247bcf28f92f7af2fffa5e8d9cd265 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Set) = c2fb84c095397287fba41eab0379d78c needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Result) = f7689d151d6190c72aba5aa2e1f1a03e needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalOO) = 6de25901c85adfdcd62767d794d0a649 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Option) = 5e5282c4f7a1adb2a08f294b811a8eb7 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Filename) = 43ff6d511a8a1beb6d53d34be5c2d18b needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Queue) = 9ce7a8dc97b91ba7763fe0f7f300ad93 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Context_free) = 1bfae9f13a88bcf834e964a3ef717037 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Driver) = 97daf346204f95a6fd4d75c253c3fb9a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib__Extension) = 3fad548cbd24bcd3d055a4eeda951fd2 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppxlib_ast__Ast_helper_lite) = b6c8582f0caa6c335760c88f0260e810 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Result) = e1ad5a1b355794d4383b31d2243b7f82 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Location) = 505d60bd262b2c1c05cc8ee416a68d79 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdppx) = ed0aeb827b3ea97107dbf66179675c2a needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Option) = 1f33dbcafae26bdc69a97329be247e8e needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Ppxlib__Longident) = a64a057c2ebfe03e58b617dc57119703 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Ppxlib_ast__Ast_helper_lite) = 6f98060d954638dfc79d4d34349083c3 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Ppxlib__Driver) = f4ad1a37de75bf13e386648a8a7702e9 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Ppx_derivers) = 8c9bb7b4d418101284a39e9a98e9265e needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Ppxlib__Ast_traverse) = 2191f2196eefbfb8835fbb4da7bc8bab needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Astlib__Pprintast) = 80a391d5f3aaf1fc4edb2ab1b880ba02 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Longident) = 543db5f08f6bf59046fe5855ffe088a9 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocaml(Ppx_derivers) = 3e90138bc01eb21c5790a731eee65544 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Astlib__Pprintast) = 8832adb94c3c5c2af195234f1e840860 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Ppxlib_ast__Stdlib0) = 597455a80baba31243f407ccdfc26cd1 needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
  - nothing provides ocamlx(Warnings) = 056c93b866e9c063f516456b3cf66e3e needed by ocaml-ppx-deriving-devel-5.2.1-28.fc40.riscv64 from build
 Problem 3: package coq-8.18.0-4.fc40.riscv64 from build requires coq-core(riscv-64) = 8.18.0-4.fc40, but none of the providers can be installed
  - conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Unix) = 3a423732520b05536abd290bef5048fe needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Buffer) = 13d15ff0a126a649793506624daeb777 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Sys) = 4f85c9fad632104d251ce8405e3da7bd needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Domain) = 7a0abbcd27898319a82074908fc1d331 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Set) = c2fb84c095397287fba41eab0379d78c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Result) = f7689d151d6190c72aba5aa2e1f1a03e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalOO) = 6de25901c85adfdcd62767d794d0a649 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Map) = 6a432a9badf64b8d816560c375e03ca5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printexc) = 3d494d5741edf2d74fa1ea8b45eaf16c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Scanf) = 83da141a71f157410ce5f4fb14d1663f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Filename) = 43ff6d511a8a1beb6d53d34be5c2d18b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalLazy) = 0a0bdc34de932576c6a151d050d7823b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Unix) = 5f4cc5cb83244a016d432d1c22d8c351 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Queue) = 9ce7a8dc97b91ba7763fe0f7f300ad93 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int32) = e71d46f278c2f015959fe5ff9e00b26b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Marshal) = 39df8d8337a9feb3976e5e9ae142e6e5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bigarray) = b83389a8e2a3860275a4cac993148418 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Fun) = ea74b5006951fb2c081424e0e9a08ed2 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Obj) = f6cd1f83091c70b468c6d6d4b7b6248c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Stack) = 3d1e79dff1f7315240aaba59414923ef needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Gc) = 5eb53c91ce0f29e01cf703bc08f1f6ef needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Digest) = f5fe9589a1792210bc96b49889422c66 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Scanf) = f7e3c9d9b429eacea1cee4d6c6f66b63 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Str) = bd4d70b70c8423b47459a789150b0e09 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lazy) = 981a9d81aad10dfd289ac2dd2eda4720 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Marshal) = aa033bb89105fc765a23f9e6cca925a3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormatBasics) = b9f07a3e5ac230e60aae78886c488132 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Result) = 5a33c643e3c3ae614cfae35d392be000 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Dynlink) = 5cf84b16cecca97919f59945a1f40f52 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Gc) = 1dd8901cf91892925f77ad47eef7fde5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Str) = 5ac329f342ad49ed797911004a9f0f99 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalMod) = 5646c8bdba32dbce6c49e40adefdc814 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Fun) = efd316bc8b53c977068317acb0e6b46a needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Dynlink_types) = 5c2c0c03baf5d6ec1921ef42c72cdcee needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Findlib) = 838b4dfd99a11257929b52ab93cbd824 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Ephemeron) = fd9f71832c6e2e101dd59fe229ee1e2e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Weak) = d222625bd882688ba0fc5c4c16c63794 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_metascanner) = c6f80a173a9088ab91b120268555b103 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_metatoken) = 89f5eeeed8ea7b904ec032372acb0980 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_package_base) = bdc472cc574cce4d075458a246811385 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Ephemeron) = edca1fd5b7f9b1a8a36ae7de5606da3d needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Mutex) = a8853f9227ef4abe52e20a7d5ad508bf needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Thread) = 7119387a5e498b8dc3f7716bffb0d412 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_dynload) = df6fb8f41c65b5b3d93b6c257d46a47d needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Condition) = 61fc42d06e013ebf79ce2f1f6949046e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Big_int_Z) = 104e74183429ba2603d1ac552a767bc2 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Dynlink_common) = ecf278eb45ea0674504b87c4f005a9c3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Condition) = 2d2ac4ece55148ebd5969545884b9d92 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Mutex) = b77aebc6f7086d3a500070856a9a513a needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Thread) = a6d4f24ab06f5587a06bcfd50bcc4e76 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Zarith_version) = cbe43962c6bbc07e4612435b6c568140 needed by coq-core-8.18.0-4.fc40.riscv64 from build
 Problem 4: package flocq-4.1.4-1.fc40.riscv64 from build requires coq(riscv-64) = 8.18.0, but none of the providers can be installed
  - package coq-8.18.0-4.fc40.riscv64 from build requires coq-core(riscv-64) = 8.18.0-4.fc40, but none of the providers can be installed
  - conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Unix) = 3a423732520b05536abd290bef5048fe needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Buffer) = 13d15ff0a126a649793506624daeb777 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Sys) = 4f85c9fad632104d251ce8405e3da7bd needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Domain) = 7a0abbcd27898319a82074908fc1d331 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Set) = c2fb84c095397287fba41eab0379d78c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Result) = f7689d151d6190c72aba5aa2e1f1a03e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalOO) = 6de25901c85adfdcd62767d794d0a649 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Map) = 6a432a9badf64b8d816560c375e03ca5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printexc) = 3d494d5741edf2d74fa1ea8b45eaf16c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Scanf) = 83da141a71f157410ce5f4fb14d1663f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Filename) = 43ff6d511a8a1beb6d53d34be5c2d18b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalLazy) = 0a0bdc34de932576c6a151d050d7823b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Unix) = 5f4cc5cb83244a016d432d1c22d8c351 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Queue) = 9ce7a8dc97b91ba7763fe0f7f300ad93 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int32) = e71d46f278c2f015959fe5ff9e00b26b needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Marshal) = 39df8d8337a9feb3976e5e9ae142e6e5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bigarray) = b83389a8e2a3860275a4cac993148418 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Fun) = ea74b5006951fb2c081424e0e9a08ed2 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Obj) = f6cd1f83091c70b468c6d6d4b7b6248c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Stack) = 3d1e79dff1f7315240aaba59414923ef needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Gc) = 5eb53c91ce0f29e01cf703bc08f1f6ef needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Digest) = f5fe9589a1792210bc96b49889422c66 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Scanf) = f7e3c9d9b429eacea1cee4d6c6f66b63 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Str) = bd4d70b70c8423b47459a789150b0e09 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lazy) = 981a9d81aad10dfd289ac2dd2eda4720 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Marshal) = aa033bb89105fc765a23f9e6cca925a3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalFormatBasics) = b9f07a3e5ac230e60aae78886c488132 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Result) = 5a33c643e3c3ae614cfae35d392be000 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Dynlink) = 5cf84b16cecca97919f59945a1f40f52 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Gc) = 1dd8901cf91892925f77ad47eef7fde5 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Str) = 5ac329f342ad49ed797911004a9f0f99 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(CamlinternalMod) = 5646c8bdba32dbce6c49e40adefdc814 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Fun) = efd316bc8b53c977068317acb0e6b46a needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Dynlink_types) = 5c2c0c03baf5d6ec1921ef42c72cdcee needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Findlib) = 838b4dfd99a11257929b52ab93cbd824 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Ephemeron) = fd9f71832c6e2e101dd59fe229ee1e2e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Weak) = d222625bd882688ba0fc5c4c16c63794 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_metascanner) = c6f80a173a9088ab91b120268555b103 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_metatoken) = 89f5eeeed8ea7b904ec032372acb0980 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_package_base) = bdc472cc574cce4d075458a246811385 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Ephemeron) = edca1fd5b7f9b1a8a36ae7de5606da3d needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Mutex) = a8853f9227ef4abe52e20a7d5ad508bf needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Thread) = 7119387a5e498b8dc3f7716bffb0d412 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Fl_dynload) = df6fb8f41c65b5b3d93b6c257d46a47d needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocaml(Stdlib__Condition) = 61fc42d06e013ebf79ce2f1f6949046e needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Big_int_Z) = 104e74183429ba2603d1ac552a767bc2 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Dynlink_common) = ecf278eb45ea0674504b87c4f005a9c3 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Condition) = 2d2ac4ece55148ebd5969545884b9d92 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Stdlib__Mutex) = b77aebc6f7086d3a500070856a9a513a needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Thread) = a6d4f24ab06f5587a06bcfd50bcc4e76 needed by coq-core-8.18.0-4.fc40.riscv64 from build
  - nothing provides ocamlx(Zarith_version) = cbe43962c6bbc07e4612435b6c568140 needed by coq-core-8.18.0-4.fc40.riscv64 from build
(try to add '--skip-broken' to skip uninstallable packages)