Bug 1831418 - FTI: why3: ocaml-why3, ocaml-why3-devel, why3
Summary: FTI: why3: ocaml-why3, ocaml-why3-devel, why3
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: why3
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F33FailsToInstall
TreeView+ depends on / blocked
 
Reported: 2020-05-05 06:00 UTC by Igor Raits
Modified: 2020-05-07 16:42 UTC (History)
1 user (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2020-05-07 16:42:22 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Igor Raits 2020-05-05 06:00:23 UTC 
Hello,

Your package (why3) Fails To Install in Fedora 33:

---
can't install ocaml-why3-1.3.1-6.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__bytes) = 772b4012f2db40e66e9c581c84cada7e needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__bytes) = 6f160e4554ac4fc65dcb567dac770c1b needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__digest) = 60c60a8f614ee08eec5a2f5a733a870e needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Str) = c5bcee777d07f9d2f20c78da78387372 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Unix) = ba030e73c9a8a296035219290541184c needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__stack) = b515cb9a8648d069a1e380b3ec573599 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(MenhirLib) = 8104f6c92c2064747d44f3960f4a06e9 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Dynlink) = 27aabf24ddf129cbf6d78cfa5353a90d needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__digest) = 86a46ee67f616c9e2a28cf8f9057e89c needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__stack) = e4921211a708a4285a797ff8f01741a1 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Str) = b2619808edfd808b4097e5ec36277e82 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Big_int) = 51989d0957c8c35ee5a7f938ed839058 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__ephemeron) = c9e7c5f81cf1802f889563f97ff28c9c needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__arg) = cb1eaa0d37316e516697f64cadc75f5f needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__ephemeron) = ad48c39762fa86f21c9b41689620bbc1 needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Gzip) = 163079f6212b8bb3fe77e2feadd5414d needed by ocaml-why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Gzip) = e5119de23bc655522786b4b4c0ee8940 needed by ocaml-why3-1.3.1-6.fc33.x86_64
---
can't install ocaml-why3-devel-1.3.1-6.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__bytes) = 772b4012f2db40e66e9c581c84cada7e needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__bytes) = 6f160e4554ac4fc65dcb567dac770c1b needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__digest) = 60c60a8f614ee08eec5a2f5a733a870e needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Str) = c5bcee777d07f9d2f20c78da78387372 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Unix) = ba030e73c9a8a296035219290541184c needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__stack) = b515cb9a8648d069a1e380b3ec573599 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(MenhirLib) = 8104f6c92c2064747d44f3960f4a06e9 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Dynlink) = 27aabf24ddf129cbf6d78cfa5353a90d needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__digest) = 86a46ee67f616c9e2a28cf8f9057e89c needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__stack) = e4921211a708a4285a797ff8f01741a1 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Str) = b2619808edfd808b4097e5ec36277e82 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Big_int) = 51989d0957c8c35ee5a7f938ed839058 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__ephemeron) = c9e7c5f81cf1802f889563f97ff28c9c needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__arg) = cb1eaa0d37316e516697f64cadc75f5f needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__ephemeron) = ad48c39762fa86f21c9b41689620bbc1 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Gzip) = 163079f6212b8bb3fe77e2feadd5414d needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Gzip) = e5119de23bc655522786b4b4c0ee8940 needed by ocaml-why3-devel-1.3.1-6.fc33.x86_64
---
can't install why3-1.3.1-6.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__nativeint) = b4e3a7a1158f02cabeb08cb0c21793e7 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Str) = c5bcee777d07f9d2f20c78da78387372 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(MenhirLib) = 8104f6c92c2064747d44f3960f4a06e9 needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocaml(Stdlib__random) = 85663246c4eb3a0a28aa7640de3ef2ce needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb needed by why3-1.3.1-6.fc33.x86_64
  - nothing provides ocamlx(Stdlib__random) = f020b2b5cbd6298e4259d8f07989b898 needed by why3-1.3.1-6.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!
Comment 1 Jerry James 2020-05-07 16:42:22 UTC 
Built in Rawhide.
Note You need to log in before you can comment on or make changes to this bug.