2024-06-04 11:53:57,188 [INFO] {3455199} koji.build.buildroot:551 Running mock as kojibuilder INFO: mock.py version 2.15 starting (python version = 3.9.7, NVR = mock-2.15-1.fc33)... Start: init plugins INFO: selinux disabled Finish: init plugins INFO: Signal handler active Start: run Start: clean chroot Finish: clean chroot Start: chroot init INFO: calling preinit hooks INFO: enabled HW Info plugin Mock Version: 2.15 INFO: Mock Version: 2.15 Start: dnf install Finish: dnf install Finish: chroot init INFO: Installed packages: INFO: ncurses-base-6.4-12.20240127.fc41.noarch pam-libs-1.6.0-2.fc40.riscv64 popt-1.19-6.fc40.riscv64 libcap-ng-0.8.5-1.fc41.riscv64 gawk-5.3.0-1.0.riscv64.fc40.riscv64 pam-1.6.0-2.fc40.riscv64 p11-kit-trust-0.25.3-4.fc40.riscv64 authselect-1.5.0-5.fc40.riscv64 qt6-srpm-macros-6.7.1-1.fc41.noarch rpm-build-4.19.1.1-2.fc41.riscv64 libxml2-2.12.7-1.fc41.riscv64 libffi-3.4.4-5.0.riscv64.fc40.riscv64 fedora-release-41-0.10.noarch keyutils-libs-1.6.3-3.fc41.riscv64 elfutils-0.191-7.fc41.riscv64 libpkgconf-2.1.0-1.fc40.riscv64 pkgconf-pkg-config-2.1.0-1.fc40.riscv64 debugedit-5.0-14.fc40.riscv64 basesystem-11-20.fc40.noarch libverto-0.3.2-8.fc41.riscv64 redhat-rpm-config-288-1.1.riscv64.fc41.noarch audit-libs-3.1-2.1.riscv64.fc40.riscv64 rpm-4.19.1.1-2.fc41.riscv64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch readline-8.2-8.fc40.riscv64 gdbm-libs-1.23-6.fc40.riscv64 libssh-config-0.10.6-2.0.riscv64.fc40.noarch shadow-utils-4.13-6.fc38.riscv64 rpm-libs-4.19.1.1-2.fc41.riscv64 lua-srpm-macros-1-13.fc40.noarch dwz-0.15-6.fc41.riscv64 bash-5.2.26-3.fc41.riscv64 openblas-srpm-macros-2-12.0.riscv64.fc37.noarch authselect-libs-1.5.0-5.fc40.riscv64 libgcc-14.1.1-4.fc41.riscv64 fedora-gpg-keys-41-0.1.noarch libblkid-2.40.1-1.fc41.riscv64 libselinux-3.6-4.fc41.riscv64 xz-5.4.6-3.fc41.riscv64 p11-kit-0.25.3-4.fc40.riscv64 zlib-ng-compat-2.1.6-4.fc41.riscv64 zig-srpm-macros-1-2.fc40.noarch libcom_err-1.47.0-5.fc41.riscv64 cyrus-sasl-lib-2.1.28-19.fc40.riscv64 unzip-6.0-63.fc41.riscv64 gdbm-1.23-6.fc40.riscv64 tar-1.35-3.fc40.riscv64 libunistring-1.1-7.fc40.riscv64 jansson-2.13.1-9.fc40.riscv64 libpwquality-1.4.5-9.fc40.riscv64 fedora-repos-rawhide-41-0.1.noarch systemd-libs-255.4-1.fc40.riscv64 fedora-release-identity-basic-41-0.10.noarch fonts-srpm-macros-2.0.5-14.fc40.noarch elfutils-debuginfod-client-0.191-7.fc41.riscv64 curl-8.6.0-7.fc40.riscv64 fedora-repos-41-0.1.noarch openssl-libs-3.1.4-1.0.riscv64.fc40.riscv64 perl-srpm-macros-1-53.fc40.noarch fedora-release-common-41-0.10.noarch sed-4.9-1.0.riscv64.fc40.riscv64 krb5-libs-1.21.2-5.fc41.riscv64 libsemanage-3.6-3.fc40.riscv64 setup-2.14.5-2.fc40.noarch libcap-2.70-1.fc41.riscv64 gdb-minimal-14.2-9.fc41.riscv64 glibc-gconv-extra-2.39.9000-18.fc41.riscv64 xz-libs-5.4.6-3.fc41.riscv64 pcre2-10.43-2.fc41.1.riscv64 patch-2.7.6-24.fc40.riscv64 libutempter-1.2.1-13.fc40.riscv64 bzip2-1.0.8-18.fc41.riscv64 pyproject-srpm-macros-1.12.0-1.fc40.noarch libidn2-2.3.7-1.fc41.riscv64 libacl-2.3.2-1.fc40.riscv64 filesystem-3.18-9.0.riscv64.fc41.riscv64 findutils-4.9.0-8.fc40.riscv64 libtirpc-1.3.4-1.rc3.fc40.riscv64 elfutils-libs-0.191-7.fc41.riscv64 grep-3.11-7.fc40.riscv64 lua-libs-5.4.6-5.fc40.riscv64 pcre2-syntax-10.43-2.fc41.1.noarch file-5.45-4.fc40.riscv64 libxcrypt-4.4.36-5.fc41.riscv64 qt5-srpm-macros-5.15.14-1.fc41.noarch ansible-srpm-macros-1-14.fc40.noarch fpc-srpm-macros-1.3-12.fc40.noarch lz4-libs-1.9.4-6.fc41.riscv64 ed-1.20.1-1.fc40.riscv64 libssh-0.10.6-2.0.riscv64.fc40.riscv64 glibc-minimal-langpack-2.39.9000-18.fc41.riscv64 libuuid-2.40.1-1.fc41.riscv64 libfdisk-2.40.1-1.fc41.riscv64 ghc-srpm-macros-1.6.1-3.0.riscv64.fc40.noarch rpm-sequoia-1.6.0-3.fc41.riscv64 libeconf-0.6.2-1.fc40.riscv64 efi-srpm-macros-5-11.0.riscv64.fc40.noarch forge-srpm-macros-0.2.0-3.fc40.noarch cpio-2.15-1.fc41.riscv64 glibc-2.39.9000-18.fc41.riscv64 zip-3.0-40.fc41.riscv64 diffutils-3.10-5.fc40.riscv64 rpm-build-libs-4.19.1.1-2.fc41.riscv64 libtool-ltdl-2.4.7-10.1.riscv64.fc40.riscv64 libnsl2-2.0.1-1.fc40.riscv64 libevent-2.1.12-13.fc41.riscv64 crypto-policies-20240521-1.gitf71d135.fc41.noarch openldap-2.6.7-1.fc40.riscv64 libsmartcols-2.40.1-1.fc41.riscv64 libgomp-14.1.1-4.fc41.riscv64 which-2.21-41.fc41.riscv64 gmp-6.3.0-1.fc41.riscv64 xxhash-libs-0.8.2-2.fc40.riscv64 util-linux-core-2.40.1-1.fc41.riscv64 cracklib-2.9.11-5.fc40.riscv64 info-7.1-2.fc40.riscv64 zstd-1.5.6-1.fc41.riscv64 pkgconf-m4-2.1.0-1.fc40.noarch libcurl-8.6.0-7.fc40.riscv64 python-srpm-macros-3.12-7.fc40.noarch file-libs-5.45-4.fc40.riscv64 libstdc++-14.1.1-4.fc41.riscv64 rust-srpm-macros-26.3-1.fc41.noarch libtasn1-4.19.0-6.0.riscv64.fc40.riscv64 coreutils-9.4-1.0.riscv64.fc40.riscv64 bzip2-libs-1.0.8-18.fc41.riscv64 gnat-srpm-macros-6-5.fc40.noarch libpsl-0.21.5-3.fc40.riscv64 libmount-2.40.1-1.fc41.riscv64 kernel-srpm-macros-1.0-19.0.riscv64.fc38.noarch go-srpm-macros-3.6.0-1.fc41.noarch publicsuffix-list-dafsa-20240107-3.fc40.noarch package-notes-srpm-macros-0.5-11.fc40.noarch mpfr-4.2.1-3.fc40.riscv64 glibc-common-2.39.9000-18.fc41.riscv64 elfutils-libelf-0.191-7.fc41.riscv64 elfutils-default-yama-scope-0.191-7.fc41.noarch binutils-2.42.50-11.fc41.riscv64 alternatives-1.26-3.fc40.riscv64 libarchive-3.7.4-1.fc41.riscv64 libzstd-1.5.6-1.fc41.riscv64 coreutils-common-9.4-1.0.riscv64.fc40.riscv64 libsepol-3.6-3.fc41.riscv64 libbrotli-1.1.0-3.fc41.riscv64 pkgconf-2.1.0-1.fc40.riscv64 ncurses-libs-6.4-12.20240127.fc41.riscv64 sqlite-libs-3.45.3-1.fc41.riscv64 gzip-1.13-1.fc41.riscv64 libnghttp2-1.59.0-2.fc40.riscv64 libattr-2.5.2-3.fc40.riscv64 ocaml-srpm-macros-10-2.fc41.noarch util-linux-2.40.1-1.fc41.riscv64 Finish: run 2024-06-04 11:58:38,890 [INFO] {3455418} koji.build.buildroot:551 Running mock as kojibuilder INFO: mock.py version 2.15 starting (python version = 3.9.7, NVR = mock-2.15-1.fc33)... Start: init plugins INFO: selinux disabled Finish: init plugins INFO: Signal handler active Start: run Start: chroot init INFO: calling preinit hooks INFO: enabled HW Info plugin Mock Version: 2.15 INFO: Mock Version: 2.15 Finish: chroot init INFO: Running in chroot: ['uname -r'] Start: chroot ['uname -r'] 5.18.8-200.0.riscv64.fc33.riscv64 Finish: chroot ['uname -r'] 2024-06-04 11:58:51,423 [INFO] {3455442} koji.build.buildroot:551 Running mock as kojibuilder INFO: mock.py version 2.15 starting (python version = 3.9.7, NVR = mock-2.15-1.fc33)... Start: init plugins INFO: selinux disabled Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/tmp/koji/tasks/2848/1702848/local/work/tasks/2763/1702763/zenon-0.8.5-26.fc41.src.rpm) Config(f41-build-811944-147589) Start: chroot init INFO: calling preinit hooks INFO: enabled HW Info plugin Mock Version: 2.15 INFO: Mock Version: 2.15 Finish: chroot init Start: build phase for zenon-0.8.5-26.fc41.src.rpm Start: build setup for zenon-0.8.5-26.fc41.src.rpm Finish: build setup for zenon-0.8.5-26.fc41.src.rpm Finish: build phase for zenon-0.8.5-26.fc41.src.rpm ERROR: Exception(/tmp/koji/tasks/2848/1702848/local/work/tasks/2763/1702763/zenon-0.8.5-26.fc41.src.rpm) Config(f41-build-811944-147589) 0 minutes 12 seconds INFO: Results and/or logs in: /var/lib/mock/f41-build-811944-147589/result ERROR: Command failed: # /usr/bin/dnf builddep --installroot /var/lib/mock/f41-build-811944-147589/root/ --setopt=install_weak_deps=0 --disableplugin=local --disableplugin=spacewalk --disableplugin=versionlock /var/lib/mock/f41-build-811944-147589/root//builddir/build/SRPMS/zenon-0.8.5-26.fc41.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Last metadata expiration check: 0:00:02 ago on Tue Jun 4 11:54:10 2024. Error: Problem: package coq-8.18.0-4.fc40.riscv64 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 - nothing provides ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Unix) = 3a423732520b05536abd290bef5048fe needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Buffer) = 13d15ff0a126a649793506624daeb777 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Sys) = 4f85c9fad632104d251ce8405e3da7bd needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Domain) = 7a0abbcd27898319a82074908fc1d331 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Set) = c2fb84c095397287fba41eab0379d78c needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Result) = f7689d151d6190c72aba5aa2e1f1a03e needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(CamlinternalOO) = 6de25901c85adfdcd62767d794d0a649 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Map) = 6a432a9badf64b8d816560c375e03ca5 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Printexc) = 3d494d5741edf2d74fa1ea8b45eaf16c needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Scanf) = 83da141a71f157410ce5f4fb14d1663f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Filename) = 43ff6d511a8a1beb6d53d34be5c2d18b needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(CamlinternalLazy) = 0a0bdc34de932576c6a151d050d7823b needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Unix) = 5f4cc5cb83244a016d432d1c22d8c351 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Queue) = 9ce7a8dc97b91ba7763fe0f7f300ad93 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Int32) = e71d46f278c2f015959fe5ff9e00b26b needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Marshal) = 39df8d8337a9feb3976e5e9ae142e6e5 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Bigarray) = b83389a8e2a3860275a4cac993148418 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Fun) = ea74b5006951fb2c081424e0e9a08ed2 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Obj) = f6cd1f83091c70b468c6d6d4b7b6248c needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Stack) = 3d1e79dff1f7315240aaba59414923ef needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Gc) = 5eb53c91ce0f29e01cf703bc08f1f6ef needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Digest) = f5fe9589a1792210bc96b49889422c66 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Scanf) = f7e3c9d9b429eacea1cee4d6c6f66b63 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Str) = bd4d70b70c8423b47459a789150b0e09 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Lazy) = 981a9d81aad10dfd289ac2dd2eda4720 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Marshal) = aa033bb89105fc765a23f9e6cca925a3 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(CamlinternalFormatBasics) = b9f07a3e5ac230e60aae78886c488132 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Result) = 5a33c643e3c3ae614cfae35d392be000 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Dynlink) = 5cf84b16cecca97919f59945a1f40f52 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Gc) = 1dd8901cf91892925f77ad47eef7fde5 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Str) = 5ac329f342ad49ed797911004a9f0f99 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(CamlinternalMod) = 5646c8bdba32dbce6c49e40adefdc814 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Fun) = efd316bc8b53c977068317acb0e6b46a needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Dynlink_types) = 5c2c0c03baf5d6ec1921ef42c72cdcee needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Findlib) = 838b4dfd99a11257929b52ab93cbd824 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Ephemeron) = fd9f71832c6e2e101dd59fe229ee1e2e needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Weak) = d222625bd882688ba0fc5c4c16c63794 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Fl_metascanner) = c6f80a173a9088ab91b120268555b103 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Fl_metatoken) = 89f5eeeed8ea7b904ec032372acb0980 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Fl_package_base) = bdc472cc574cce4d075458a246811385 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Ephemeron) = edca1fd5b7f9b1a8a36ae7de5606da3d needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Mutex) = a8853f9227ef4abe52e20a7d5ad508bf needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Thread) = 7119387a5e498b8dc3f7716bffb0d412 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Fl_dynload) = df6fb8f41c65b5b3d93b6c257d46a47d needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocaml(Stdlib__Condition) = 61fc42d06e013ebf79ce2f1f6949046e needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Big_int_Z) = 104e74183429ba2603d1ac552a767bc2 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Dynlink_common) = ecf278eb45ea0674504b87c4f005a9c3 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Condition) = 2d2ac4ece55148ebd5969545884b9d92 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Stdlib__Mutex) = b77aebc6f7086d3a500070856a9a513a needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Thread) = a6d4f24ab06f5587a06bcfd50bcc4e76 needed by coq-core-8.18.0-4.fc40.riscv64 - nothing provides ocamlx(Zarith_version) = cbe43962c6bbc07e4612435b6c568140 needed by coq-core-8.18.0-4.fc40.riscv64 (try to add '--skip-broken' to skip uninstallable packages)