amlinternalMod) = 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)