2024-03-01 21:15:15,331 [INFO] {174912} koji.build.buildroot:564 Running mock as kojibuilder
ERROR: Option --old-chroot has been deprecated. Use --isolation=simple instead.
INFO: mock.py version 5.2 starting (python version = 3.12.0, NVR = mock-5.2-1.fc39), args: /usr/libexec/mock/mock -r koji/f40-build-2483471-61638 --old-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.2
INFO: Mock Version: 5.2
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf detected and used (fallback)
WARNING: File /etc/localtime not present. It is not copied into the chroot.
Start: installing minimal buildroot with dnf
Finish: installing minimal buildroot with dnf
Finish: chroot init
INFO: Installed packages:
INFO: alternatives-1.26-3.fc40.riscv64
ansible-srpm-macros-1-14.fc40.noarch
audit-libs-3.1.2-5.rv64.fc39.riscv64
authselect-1.4.3-1.fc40.riscv64
authselect-libs-1.4.3-1.fc40.riscv64
basesystem-11-20.fc40.noarch
bash-5.2.26-3.fc40.riscv64
binutils-2.41-15.fc40.riscv64
bzip2-1.0.8-18.fc40.riscv64
bzip2-libs-1.0.8-18.fc40.riscv64
ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch
coreutils-9.4-4.fc40.riscv64
coreutils-common-9.4-4.fc40.riscv64
cpio-2.15-1.fc40.riscv64
cracklib-2.9.11-5.fc40.riscv64
crypto-policies-20240201-1.git9f501f3.fc40.noarch
curl-8.6.0-7.fc40.riscv64
cyrus-sasl-lib-2.1.28-1.fc40.riscv64
debugedit-5.0-14.fc40.riscv64
diffutils-3.10-5.fc40.riscv64
dwz-0.15-6.fc40.riscv64
ed-1.20.1-1.fc40.riscv64
efi-srpm-macros-5-9.rv64.fc40.noarch
elfutils-0.190-1.rv64.fc39.riscv64
elfutils-debuginfod-client-0.190-1.rv64.fc39.riscv64
elfutils-default-yama-scope-0.190-1.rv64.fc39.noarch
elfutils-libelf-0.190-1.rv64.fc39.riscv64
elfutils-libs-0.190-1.rv64.fc39.riscv64
fedora-gpg-keys-40-0.2.noarch
fedora-release-40-0.21.noarch
fedora-release-common-40-0.21.noarch
fedora-release-identity-basic-40-0.21.noarch
fedora-repos-40-0.2.noarch
fedora-repos-rawhide-40-0.2.noarch
file-5.45-5.fc40.riscv64
file-libs-5.45-5.fc40.riscv64
filesystem-3.18-8.fc40.riscv64
findutils-4.9.0-8.fc40.riscv64
fonts-srpm-macros-2.0.5-14.fc40.noarch
forge-srpm-macros-0.1.0-1.fc40.noarch
fpc-srpm-macros-1.3-8.fc39.noarch
gawk-5.2.2-2.rv64.fc39.riscv64
gdb-minimal-13.2-10.rv64.fc40.riscv64
gdbm-1.23-6.fc40.riscv64
gdbm-libs-1.23-6.fc40.riscv64
ghc-srpm-macros-1.6.1-2.rv64.fc40.noarch
glibc-2.38.9000-30.fc40.riscv64
glibc-common-2.38.9000-30.fc40.riscv64
glibc-gconv-extra-2.38.9000-30.fc40.riscv64
glibc-minimal-langpack-2.38.9000-30.fc40.riscv64
gmp-6.3.0-1.fc40.riscv64
gnat-srpm-macros-6-5.rv64.fc40.noarch
go-srpm-macros-3.3.1-1.fc40.noarch
grep-3.11-6.fc40.riscv64
gzip-1.12-7.fc40.riscv64
info-7.1-2.fc40.riscv64
jansson-2.13.1-8.fc40.riscv64
kernel-srpm-macros-1.0-20.rv64.fc40.noarch
keyutils-libs-1.6.3-2.fc40.riscv64
krb5-libs-1.21.2-4.fc40.riscv64
libacl-2.3.2-1.fc40.riscv64
libarchive-3.7.2-2.fc40.riscv64
libattr-2.5.2-3.fc40.riscv64
libblkid-2.39.3-4.fc40.riscv64
libbrotli-1.1.0-3.fc40.riscv64
libcap-2.69-2.fc40.riscv64
libcap-ng-0.8.4-3.fc40.riscv64
libcom_err-1.47.0-5.fc40.riscv64
libcurl-8.6.0-7.fc40.riscv64
libeconf-0.5.2-2.fc40.riscv64
libevent-2.1.12-9.fc40.riscv64
libfdisk-2.39.3-4.fc40.riscv64
libffi-3.4.4-4.rv64.fc40.riscv64
libgcc-13.2.1-5.rv64.fc40.riscv64
libgomp-13.2.1-5.rv64.fc40.riscv64
libidn2-2.3.4-4.fc40.riscv64
libmount-2.39.3-4.fc40.riscv64
libnghttp2-1.59.0-1.fc40.riscv64
libnsl2-2.0.0-7.fc40.riscv64
libpkgconf-1.9.5-2.fc40.riscv64
libpsl-0.21.5-1.fc40.riscv64
libpwquality-1.4.5-8.fc40.riscv64
libselinux-3.6-3.fc40.riscv64
libsemanage-3.6-2.fc40.riscv64
libsepol-3.6-2.fc40.riscv64
libsigsegv-2.14-7.fc40.riscv64
libsmartcols-2.39.3-4.fc40.riscv64
libssh-0.10.6-2.fc40.riscv64
libssh-config-0.10.6-2.fc40.noarch
libstdc++-13.2.1-5.rv64.fc40.riscv64
libtasn1-4.19.0-1.rv64.fc39.riscv64
libtirpc-1.3.4-1.rc2.fc40.1.riscv64
libunistring-1.1-1.fc40.riscv64
libutempter-1.2.1-12.fc40.riscv64
libuuid-2.39.3-4.fc40.riscv64
libverto-0.3.2-7.fc40.riscv64
libxcrypt-4.4.36-5.fc40.riscv64
libxml2-2.12.4-2.fc40.riscv64
libzstd-1.5.5-5.fc40.riscv64
lua-libs-5.4.6-4.fc40.riscv64
lua-srpm-macros-1-9.fc40.noarch
lz4-libs-1.9.4-5.fc40.riscv64
mpfr-4.2.1-2.fc40.riscv64
ncurses-base-6.4-10.20240113.fc40.noarch
ncurses-libs-6.4-10.20240113.fc40.riscv64
ocaml-srpm-macros-9-2.fc40.noarch
openblas-srpm-macros-2-14.rv64.fc39.noarch
openldap-2.6.6-2.fc40.riscv64
openssl-libs-3.1.4-2.rv64.fc39.riscv64
p11-kit-0.25.3-1.fc40.riscv64
p11-kit-trust-0.25.3-1.fc40.riscv64
package-notes-srpm-macros-0.5-1.fc40.noarch
pam-1.6.0-1.fc40.riscv64
pam-libs-1.6.0-1.fc40.riscv64
patch-2.7.6-23.fc40.riscv64
pcre2-10.42-2.fc40.2.riscv64
pcre2-syntax-10.42-2.fc40.2.noarch
perl-srpm-macros-1-52.fc40.noarch
pkgconf-1.9.5-2.fc40.riscv64
pkgconf-m4-1.9.5-2.fc40.noarch
pkgconf-pkg-config-1.9.5-2.fc40.riscv64
popt-1.19-4.fc40.riscv64
publicsuffix-list-dafsa-20240107-1.fc40.noarch
pyproject-srpm-macros-1.11.0-3.fc40.noarch
python-srpm-macros-3.12-7.fc40.noarch
qt5-srpm-macros-5.15.12-3.rv64.fc40.noarch
qt6-srpm-macros-6.6.0-1.rv64.fc39.noarch
readline-8.2-8.fc40.riscv64
redhat-rpm-config-271-1.rv64.2.fc40.noarch
rpm-4.19.1-4.fc40.riscv64
rpm-build-4.19.1-4.fc40.riscv64
rpm-build-libs-4.19.1-4.fc40.riscv64
rpm-libs-4.19.1-4.fc40.riscv64
rpm-sequoia-1.5.0-1.fc39.rvmock0.riscv64
rust-srpm-macros-25.2-1.fc40.noarch
sed-4.8-15.fc40.riscv64
setup-2.14.5-2.fc40.noarch
shadow-utils-4.14.0-4.fc40.riscv64
sqlite-libs-3.45.0-1.fc40.riscv64
systemd-libs-254.5-1.rv64.fc40~bootstrap.riscv64
tar-1.35-3.fc40.riscv64
unzip-6.0-63.fc40.riscv64
util-linux-2.39.3-4.fc40.riscv64
util-linux-core-2.39.3-4.fc40.riscv64
which-2.21-41.fc40.riscv64
xxhash-libs-0.8.2-1.fc40.riscv64
xz-5.4.6-1.fc40.riscv64
xz-libs-5.4.6-1.fc40.riscv64
zip-3.0-40.fc40.riscv64
zlib-ng-compat-2.1.6-1.fc39.riscv64
zstd-1.5.5-5.fc40.riscv64
Finish: run
2024-03-01 21:18:30,493 [INFO] {178121} koji.build.buildroot:564 Running mock as kojibuilder
ERROR: Option --old-chroot has been deprecated. Use --isolation=simple instead.
INFO: mock.py version 5.2 starting (python version = 3.12.0, NVR = mock-5.2-1.fc39), args: /usr/libexec/mock/mock -r koji/f40-build-2483471-61638 --old-chroot --chroot 'uname -r'
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
Mock Version: 5.2
INFO: Mock Version: 5.2
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']
Finish: run
2024-03-01 21:18:39,955 [INFO] {178334} koji.build.buildroot:564 Running mock as kojibuilder
INFO:koji.build.buildroot:Running mock as kojibuilder
ERROR: Option --old-chroot has been deprecated. Use --isolation=simple instead.
INFO: mock.py version 5.2 starting (python version = 3.12.0, NVR = mock-5.2-1.fc39), args: /usr/libexec/mock/mock -r koji/f40-build-2483471-61638 --old-chroot --no-clean --target riscv64 --rebuild /tmp/koji/tasks/3974/5203974/local/work/tasks/3930/5203930/why3-1.7.1-2.fc40.src.rpm
Start: init plugins
INFO: selinux disabled
Finish: init plugins
INFO: Signal handler active
Start: run
INFO: Start(/tmp/koji/tasks/3974/5203974/local/work/tasks/3930/5203930/why3-1.7.1-2.fc40.src.rpm)  Config(f40-build-2483471-61638)
Mock Version: 5.2
INFO: Mock Version: 5.2
Start: chroot init
INFO: calling preinit hooks
INFO: enabled HW Info plugin
INFO: Package manager dnf detected and used (fallback)
Finish: chroot init
INFO: Buildroot is handled by package management from host and used with --installroot:
  rpm-4.19.1-1.fc39.riscv64
  rpm-sequoia-1.5.0-1.fc39.rvmock0.riscv64
  python3-dnf-4.18.2-1.fc39.noarch
  python3-dnf-plugins-core-4.4.4-1.fc39.noarch
  yum-4.18.2-1.fc39.noarch
Start: build phase for why3-1.7.1-2.fc40.src.rpm
Start: build setup for why3-1.7.1-2.fc40.src.rpm
Finish: build setup for why3-1.7.1-2.fc40.src.rpm
Finish: build phase for why3-1.7.1-2.fc40.src.rpm
ERROR: Exception(/tmp/koji/tasks/3974/5203974/local/work/tasks/3930/5203930/why3-1.7.1-2.fc40.src.rpm) Config(f40-build-2483471-61638) 0 minutes 10 seconds
INFO: Results and/or logs in: /var/lib/mock/f40-build-2483471-61638/result
ERROR: Command failed: 
 # /usr/bin/dnf-3 builddep --installroot /var/lib/mock/f40-build-2483471-61638/root/ --setopt=deltarpm=False --setopt=allow_vendor_change=yes --allowerasing --disableplugin=local --disableplugin=spacewalk --disableplugin=versionlock /var/lib/mock/f40-build-2483471-61638/root//builddir/build/SRPMS/why3-1.7.1-2.fc40.src.rpm
No matches found for the following disable plugin patterns: local, spacewalk, versionlock
Last metadata expiration check: 0:00:01 ago on Fri Mar  1 21:15:22 2024.
Error: 
 Problem 1: conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lexing) = 4ba20253768aee73219c565dee7243bd needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Callback) = fe29a598e1902f0b901e88a9865c26ef needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Parsing) = a4138a3a0c08cdb070011623c83ca032 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpf) = 1c9a9ae6d75b13ab5d69088fa1adfea6 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpfr) = 31f7eeacb3c60ccfeab68551563f74c1 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpfrf) = 8cffd66b9ff878cef58ff5e5c7592c76 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpq) = b01a9befe3a5a9a8b9c0e7a0ae1d0d14 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpqf) = 3b98102539ca73849fa9439187ab6df6 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpz) = 9122b8145454ec4fba6e852bc127a621 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocaml(Mpzf) = 2f6b6e42a172414280af2937a856e499 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Mpqf) = bcdd030c511cc2ca96fec8e6af74f195 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Mpzf) = 57af08eeb38e6607d8e8303b029668f3 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Callback) = 7dbefe6db53efcdc61a432ffbc04583d needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Mpfr) = 2f1b4646b3d0ba862d7b89d95ce80079 needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
  - nothing provides ocamlx(Mpfrf) = 9c436fb8fcdfee8a78cba8865633e6da needed by ocaml-apron-devel-0.9.13-17.fc38.riscv64 from build
 Problem 2: package coq-8.17.1-3.rvmock0.fc38.riscv64 from build requires coq-core(riscv-64) = 8.17.1-3.rvmock0.fc38, but none of the providers can be installed
  - conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printf) = 5637860688f82d7f837407cfaf0a6fae needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Buffer) = 673e1a9feee4c24aeb62fe0f3e3ec4ad needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Hashtbl) = c60c5e9b84ec15b69584c299944d0abb needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Marshal) = 182731e5f563b7657acd24ad778f3615 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int64) = 371b761429600b4a3480435d7bb83c8a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printexc) = 92fa2375a865927827b95a710fd8db2b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Unix) = f98e9ef7f9e913e26df2cf0d3af4252b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Filename) = d28509257398356aab9aed2edf11d6cb needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Sys) = b7b20574aeaf6b9579b0e18cd71b27d3 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Gc) = c3ec15218bd26e175e6d959e216eb39a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Dynlink) = bfa54c003fcd217b91ef34258ab0d332 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Set) = 9d41b0f6935651fa2b340a0986078a0a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Stack) = 6e4c13fcfc9d23fccc45c9e0ea742960 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(CamlinternalMod) = 2004005091bc8a61fe26ab15e0fb28e4 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Gc) = 69b30dbb497b1693413644ac9604be89 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Map) = f9b31d0fc661b76354b76376270f8fae needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Marshal) = eb9932635a49a93c31c0e9a675c07fff needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Str) = 4f153d0614e739753ccb1a58e9ecaa38 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(CamlinternalLazy) = 0573444d7d158417dbd5f4f46081e73b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(CamlinternalMod) = 6655be7904f5f055c5ec94e3fc3775ba needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = 332b036c618456adadc97ebc4c0edd44 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Char) = 7cfadcb8c8da32e9f00e211aa321718b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Digest) = 7d577dae6edeadfbfb103d3b9b8931ba needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int32) = 92cf9826d556878104ed3545f31b55b5 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lazy) = 6e981fd0efd14a1dff5f06e6c215a2d2 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Queue) = ac29fa1eab3344162fa1d6afdf6872d4 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Weak) = bba061f4005216cd927f027dd350ea87 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Obj) = 23286e910874d627cdfbcadb3610dcf9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Random) = bd6cc79123202b55fdf31fc087aa06eb needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Scanf) = 5bfc827c9980349e00f2aa1f5eade58f needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Z) = a71ac4a535434978287848841376388e needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Scanf) = 77c1354d6effc4c07123bbe247f06393 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Findlib) = d44b73d9d87aa8a2a740a3e7f738599b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Ephemeron) = 85bf10913cd5901968e9c2a8e59c2cd8 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Fun) = 115c0563d80d54e1e845b108f10caa33 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Big_int_Z) = bb73056068d7ab79dba6b47fc43812c2 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Q) = 778db690673a2ecd778badfca767ce6a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Ephemeron) = c9b944058da07ad3950f915d5682e6d9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Fun) = 265b59e1def4560a3187de619e15ad64 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Z) = 35e6c2baec05f2448f0ffb79a9faad0e needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Condition) = f0caf68e0fd94353b2fe68f24dc84c46 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_dynload) = 6fe04213bb7f649801e5f72ab6026eb0 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_metascanner) = e1b1d3fe0eca562f5e9dc0e0f04eee51 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_metatoken) = 2ee80556b58c28796e5020152710a0dc needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_package_base) = 04c54a48fe2e7875409d82f50323d9b9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Mutex) = e7b4c98d68b9b84b256d9650ac063dab needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Thread) = cbab14f62eb893a73913c276298141c9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Condition) = a63efe87f1c64636f7dd0ca176135334 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Mutex) = 070d55bb683901b185545f26b3d87913 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Thread) = b6058a12af622a83bc30e409c733d611 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
 Problem 3: package flocq-4.1.1-4.rvmock0.fc38.riscv64 from build requires coq(riscv-64) = 8.17.1, but none of the providers can be installed
  - package coq-8.17.1-3.rvmock0.fc38.riscv64 from build requires coq-core(riscv-64) = 8.17.1-3.rvmock0.fc38, but none of the providers can be installed
  - conflicting requests
  - nothing provides ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printf) = 5637860688f82d7f837407cfaf0a6fae needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Buffer) = 673e1a9feee4c24aeb62fe0f3e3ec4ad needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Hashtbl) = c60c5e9b84ec15b69584c299944d0abb needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Marshal) = 182731e5f563b7657acd24ad778f3615 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int64) = 371b761429600b4a3480435d7bb83c8a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Printexc) = 92fa2375a865927827b95a710fd8db2b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Unix) = f98e9ef7f9e913e26df2cf0d3af4252b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Filename) = d28509257398356aab9aed2edf11d6cb needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Sys) = b7b20574aeaf6b9579b0e18cd71b27d3 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Gc) = c3ec15218bd26e175e6d959e216eb39a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Dynlink) = bfa54c003fcd217b91ef34258ab0d332 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Set) = 9d41b0f6935651fa2b340a0986078a0a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Stack) = 6e4c13fcfc9d23fccc45c9e0ea742960 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(CamlinternalMod) = 2004005091bc8a61fe26ab15e0fb28e4 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Gc) = 69b30dbb497b1693413644ac9604be89 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Map) = f9b31d0fc661b76354b76376270f8fae needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Marshal) = eb9932635a49a93c31c0e9a675c07fff needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Str) = 4f153d0614e739753ccb1a58e9ecaa38 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(CamlinternalLazy) = 0573444d7d158417dbd5f4f46081e73b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(CamlinternalMod) = 6655be7904f5f055c5ec94e3fc3775ba needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Bytes) = 332b036c618456adadc97ebc4c0edd44 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Char) = 7cfadcb8c8da32e9f00e211aa321718b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Digest) = 7d577dae6edeadfbfb103d3b9b8931ba needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Int32) = 92cf9826d556878104ed3545f31b55b5 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Lazy) = 6e981fd0efd14a1dff5f06e6c215a2d2 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Queue) = ac29fa1eab3344162fa1d6afdf6872d4 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Weak) = bba061f4005216cd927f027dd350ea87 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Obj) = 23286e910874d627cdfbcadb3610dcf9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Random) = bd6cc79123202b55fdf31fc087aa06eb needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Scanf) = 5bfc827c9980349e00f2aa1f5eade58f needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Z) = a71ac4a535434978287848841376388e needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Scanf) = 77c1354d6effc4c07123bbe247f06393 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Findlib) = d44b73d9d87aa8a2a740a3e7f738599b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Ephemeron) = 85bf10913cd5901968e9c2a8e59c2cd8 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Stdlib__Fun) = 115c0563d80d54e1e845b108f10caa33 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Big_int_Z) = bb73056068d7ab79dba6b47fc43812c2 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Q) = 778db690673a2ecd778badfca767ce6a needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Ephemeron) = c9b944058da07ad3950f915d5682e6d9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Stdlib__Fun) = 265b59e1def4560a3187de619e15ad64 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Z) = 35e6c2baec05f2448f0ffb79a9faad0e needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Condition) = f0caf68e0fd94353b2fe68f24dc84c46 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_dynload) = 6fe04213bb7f649801e5f72ab6026eb0 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_metascanner) = e1b1d3fe0eca562f5e9dc0e0f04eee51 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_metatoken) = 2ee80556b58c28796e5020152710a0dc needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Fl_package_base) = 04c54a48fe2e7875409d82f50323d9b9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Mutex) = e7b4c98d68b9b84b256d9650ac063dab needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocaml(Thread) = cbab14f62eb893a73913c276298141c9 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Condition) = a63efe87f1c64636f7dd0ca176135334 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Mutex) = 070d55bb683901b185545f26b3d87913 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
  - nothing provides ocamlx(Thread) = b6058a12af622a83bc30e409c733d611 needed by coq-core-8.17.1-3.rvmock0.fc38.riscv64 from build
(try to add '--skip-broken' to skip uninstallable packages)