Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1986537 - F35FailsToInstall: why3, ocaml-why3, ocaml-why3-devel
Summary: F35FailsToInstall: why3, ocaml-why3, ocaml-why3-devel
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: F35FailsToInstall
TreeView+ depends on / blocked
 
Reported: 2021-07-27 17:55 UTC by Miro Hrončok
Modified: 2021-07-30 15:28 UTC (History)
1 user (show)

Fixed In Version: why3-1.4.0-3.fc35
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2021-07-30 15:28:34 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Miro Hrončok 2021-07-27 17:55:23 UTC
Hello,

Please note that this comment was generated automatically. If you feel that this output has mistakes, please contact me via email (mhroncok).

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

can't install why3:
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 67718d5109c60347c91fb60c90a10a46 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = adc6530ccb8be1921b150ce4611ad4a9 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Specif) = fa01859e1fd27eedd81cdaacfe2398da needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = 08c04a6018adfba932825df2ccbda457 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = c117bfd84ecb999d24f79fd4030b0e30 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = ac0d7e0beb92d665c5ee1c74e8c1ced5 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rbasic_fun) = 73ea3ff091278eb776966a24b74b5438 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rdefinitions) = c17037f67dbabca8c2e3debf83e4ced8 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinInt) = 64e0704ea73283b95cafab02f6c215eb needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zbool) = fd5854cf7bd3ae9b038fc36f4b6299a2 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zpower) = 2b56376f6ba5da488d8b28169bf1ccd6 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(Nativecode) = ce6da831b7d0683dff407f3186b9cfb2 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(Nativevalues) = bfeeac9b9236475acc0975b9e8c91d42 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Bool_Bool) = df00af1896b59f06b3cd18ee774de77e needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Nat) = 8c0d9467cb42832d1f778b66e345766d needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rpower) = 86f70604dc6f9af0059680c24f3d5408 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_ZArith_dec) = 05b5b524766ea58186828e7d4b323c26 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Arith_PeanoNat) = 3a378cc8f04149575a8cb2f3b7646579 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Bool_Bvector) = 360527dfed73c34cfdf39c13f304c64e needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Classes_Morphisms) = ae387061ac6879c5bbee07616974b732 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Classes_Morphisms_Prop) = faad804b26cf704869a64849255f8077 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Classes_RelationClasses) = 994bbae8ee54ecedf015bea48a1bba6e needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Peano) = c84aa45d721fb653b81bc6c82d003d71 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Logic_ClassicalEpsilon) = 78b477c9d3ca2b3c43a14e552ba37a86 needed by why3-1.4.0-1.fc35.x86_64
  - nothing provides ocamlx(NCoq_Vectors_Vector) = cd885da5b944e54389b134e975c8079c needed by why3-1.4.0-1.fc35.x86_64
  
can't install ocaml-why3:
  - nothing provides ocamlx(Dynlink) = fdab94c30c638231a7fc0889406a0807 needed by ocaml-why3-1.4.0-1.fc35.x86_64
  
can't install ocaml-why3-devel:
  - nothing provides ocamlx(Dynlink) = fdab94c30c638231a7fc0889406a0807 needed by ocaml-why3-devel-1.4.0-1.fc35.x86_64
  
If you know about this problem and are planning on fixing it, please acknowledge so by setting the bug status to ASSIGNED. If you don't have time to maintain this package, consider orphaning it, so maintainers of dependent packages realize the problem.


If you don't react accordingly to the 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.

P.S. The data was generated solely from koji buildroot, so it might be newer than the latest compose or the content on mirrors.

P.P.S. If this bug has been reported in the middle of upgrading multiple dependent packages, please consider using side tags: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/#updating-inter-dependent-packages

Thanks!

Comment 1 Jerry James 2021-07-30 15:28:34 UTC
Fixed in Rawhide.


Note You need to log in before you can comment on or make changes to this bug.