Bug 1831407 - FTI: coq: coq, coq-coqide
Summary: FTI: coq: coq, coq-coqide
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: coq
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Alan Dunn
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:01 UTC (History)
2 users (show)

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

Attachments (Terms of Use)

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

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

---
can't install coq-8.11.0-3.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__bytes) = 772b4012f2db40e66e9c581c84cada7e needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__nativeint) = b4e3a7a1158f02cabeb08cb0c21793e7 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__bytes) = 6f160e4554ac4fc65dcb567dac770c1b needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__digest) = 60c60a8f614ee08eec5a2f5a733a870e needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Str) = c5bcee777d07f9d2f20c78da78387372 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Unix) = ba030e73c9a8a296035219290541184c needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__gc) = 7fd146e11f52aa63b80f74c58258be74 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__stack) = b515cb9a8648d069a1e380b3ec573599 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__random) = 85663246c4eb3a0a28aa7640de3ef2ce needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__obj) = 930dac301330b9d6c1d5e7e7c2310683 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Dynlink) = 27aabf24ddf129cbf6d78cfa5353a90d needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__digest) = 86a46ee67f616c9e2a28cf8f9057e89c needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__gc) = 88ea814453410dc94978809800d4f5da needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__stack) = e4921211a708a4285a797ff8f01741a1 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Str) = b2619808edfd808b4097e5ec36277e82 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Big_int) = 51989d0957c8c35ee5a7f938ed839058 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Condition) = 233a49acfae1a67c4ed603d1f75c6f17 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Mutex) = 519f9d1edadf61d2fbba74a05cfac9ef needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__ephemeron) = c9e7c5f81cf1802f889563f97ff28c9c needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Thread) = 937568460bf33b62f0918f213aa41910 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Condition) = 07f255814da2411b1c25d7d626430ba9 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Mutex) = da1696d5e322b2c40d095e3e45eb2967 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__ephemeron) = ad48c39762fa86f21c9b41689620bbc1 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Thread) = 465003cbe6cf3895c2aaa4e277eafefd needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__stream) = 86781de8c85b808c620b24c4c1e0ef61 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(CamlinternalMod) = af94199ed44285f84e5dc816919fab44 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__marshal) = c2ddae800dde5964f2743a87506541ee needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(CamlinternalMod) = c7b4d54e7a5caa93feb83a5618f624fb needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__lazy) = 49ab9a467c5d45c11636487ce2b410f5 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__map) = 3ed208b888965290b89d720efaf17612 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__marshal) = 650ea397c78bf14d75a0fc6cbd264975 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Stdlib__random) = f020b2b5cbd6298e4259d8f07989b898 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Num) = 0cc9a7e5ce0180429a4bb6c270582075 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Ratio) = f186d6a275fe6fd5dba0e755b9000e9f needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Num) = 3e2323ba0d093f566fcb0bbbf83979d4 needed by coq-8.11.0-3.fc33.x86_64
  - nothing provides ocamlx(Ratio) = a3cf53f9c1fe8da8e210fd8b237a0b14 needed by coq-8.11.0-3.fc33.x86_64
---
can't install coq-coqide-8.11.0-3.fc33.x86_64:
  - nothing provides ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Cairo) = bd2266e8289b397e4ab45fdc72967f8f needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1 needed by coq-coqide-8.11.0-3.fc33.x86_64
  - nothing provides ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2 needed by coq-coqide-8.11.0-3.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:01:20 UTC 
Built in Rawhide.
Note You need to log in before you can comment on or make changes to this bug.