Bug 2164019

Summary: F38FailsToInstall: ocaml-z3, ocaml-z3-devel
Product: [Fedora] Fedora Reporter: Fedora Fails To Install <fti-bugs>
Component: z3Assignee: Jerry James <loganjerry>
Status: CLOSED WORKSFORME QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: loganjerry, tdawson
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2023-01-25 18:41:38 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On:    
Bug Blocks: 2117177    

Description Fedora Fails To Install 2023-01-24 14:08:21 UTC 
Hello,

Please note that this comment was generated automatically by https://pagure.io/releng/blob/main/f/scripts/ftbfs-fti/follow-policy.py
If you feel that this output has mistakes, please open an issue at https://pagure.io/releng/

Your package (z3) Fails To Install in Fedora 38:

can't install ocaml-z3:
  - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by ocaml-z3-4.12.1-1.fc38.x86_64
  
can't install ocaml-z3-devel:
  - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64
  - nothing provides ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64
  - nothing provides ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Callback) = 4071c8a0c213a3d90f3894ee1507cbf1 needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64
  - nothing provides ocamlx(CamlinternalMod) = b1cf5908bd32decae56ba9dbb3154081 needed by ocaml-z3-devel-4.12.1-1.fc38.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. To reproduce, use the koji/local repo only, e.g. in mock:

    $ mock -r fedora-38-x86_64 --config-opts mirrored=False install ocaml-z3 ocaml-z3-devel


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 Fedora Fails To Install 2023-01-25 18:41:38 UTC 
Hello,

Please note that this comment was generated automatically by https://pagure.io/releng/blob/main/f/scripts/ftbfs-fti/follow-policy.py
If you feel that this output has mistakes, please open an issue at https://pagure.io/releng/

All subpackages of a package against which this bug was filled are now installable or removed from Fedora 38.

Thanks for taking care of it!