Hello,

Your package (gappalib-coq) Fails To Install in Fedora 33:

---
can't install gappalib-coq-1.4.3-1.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__bytes) = 772b4012f2db40e66e9c581c84cada7e needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__bytes) = 6f160e4554ac4fc65dcb567dac770c1b needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__digest) = 60c60a8f614ee08eec5a2f5a733a870e needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2 needed by gappalib-coq-1.4.3-1.fc33.x86_64
  - nothing provides ocamlx(Stdlib__stream) = 86781de8c85b808c620b24c4c1e0ef61 needed by gappalib-coq-1.4.3-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!