Hello, Your package (flocq) Fails To Install in Fedora 33: --- can't install flocq-3.2.1-1.fc33.x86_64: - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b needed by flocq-3.2.1-1.fc33.x86_64 - nothing provides ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2 needed by flocq-3.2.1-1.fc33.x86_64 --- According to a policy for FTBFS/FTI bugs (https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/), your package may be orphaned in 8+ weeks if you won't reply to this bug. Thanks!
Built in Rawhide.