evel-0.9.14-7.fc40.riscv64 requires libfppD.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires liboctMPQ.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires libpolkaRll.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires libt1pD.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires libt1pMPFR.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires libt1pMPQ.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires libapronxx.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires libfppDl.so()(64bit), but none of the providers can be installed
  - package apron-devel-0.9.14-7.fc40.riscv64 requires apron(riscv-64) = 0.9.14-7.fc40, but none of the providers can be installed
  - conflicting requests
  - nothing provides libflint.so.17()(64bit) needed by apron-0.9.14-7.fc40.riscv64
 Problem 3: package ocaml-apron-devel-0.9.14-7.fc40.riscv64 requires ocaml-apron(riscv-64) = 0.9.14-7.fc40, but none of the providers can be installed
  - package ocaml-why3-devel-1.7.1-2.fc40.riscv64 requires ocamlx(Apron) = cb48ddd06b0c09eb1dcaba42c558b085, but none of the providers can be installed
  - package ocaml-why3-devel-1.7.1-2.fc40.riscv64 requires ocamlx(Polka) = 6037bfbc13b257993958aee1d5d27e5b, but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libapron.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libpolkaMPQ.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libap_pkgrid.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libap_ppl.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libap_pplite.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libboxD.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires liboctD.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libavoD.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libavoMPQ.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libboxMPFR.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libboxMPQ.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libfppD.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires liboctMPQ.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libpolkaRll.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libt1pD.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libt1pMPFR.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires libt1pMPQ.so()(64bit), but none of the providers can be installed
  - package ocaml-apron-0.9.14-7.fc40.riscv64 requires apron(riscv-64) = 0.9.14-7.fc40, but none of the providers can be installed
  - conflicting requests
  - nothing provides libflint.so.17()(64bit) needed by apron-0.9.14-7.fc40.riscv64
(try to add '--skip-broken' to skip uninstallable packages)