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 2255007 - F40FailsToInstall: ocaml-alt-ergo-lib, ocaml-alt-ergo-lib-devel, ocaml-alt-ergo-parsers, ocaml-alt-ergo-parsers-devel, alt-ergo
Summary: F40FailsToInstall: ocaml-alt-ergo-lib, ocaml-alt-ergo-lib-devel, ocaml-alt-er...
Keywords:
Status: CLOSED WORKSFORME
Alias: None
Product: Fedora
Classification: Fedora
Component: alt-ergo
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F40FailsToInstall
TreeView+ depends on / blocked
 
Reported: 2023-12-18 13:42 UTC by Fedora Fails To Install
Modified: 2023-12-27 13:05 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: ---
Doc Text:
Clone Of:
Environment:
Last Closed: 2023-12-27 13:05:09 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Fedora Fails To Install 2023-12-18 13:42:39 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 (alt-ergo) Fails To Install in Fedora 40:

can't install ocaml-alt-ergo-lib:
  - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by ocaml-alt-ergo-lib-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by ocaml-alt-ergo-lib-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by ocaml-alt-ergo-lib-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by ocaml-alt-ergo-lib-2.3.3-12.fc40.x86_64
  
can't install ocaml-alt-ergo-lib-devel:
  - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Big_int) = 9baee39b19ca3fc273e216de36f77a4f needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Nat) = ab421a60497138b6287679466dd16c17 needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Num) = 17d70877b2fa6874d8cd2b3a4a55430f needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Ratio) = 4dff6978872b21210e38ebb0a9550eb8 needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Arith_flags) = 6253f728b9f32e55b1bb21e506b45a23 needed by ocaml-alt-ergo-lib-devel-2.3.3-12.fc40.x86_64
  
can't install ocaml-alt-ergo-parsers:
  - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by ocaml-alt-ergo-parsers-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by ocaml-alt-ergo-parsers-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by ocaml-alt-ergo-parsers-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by ocaml-alt-ergo-parsers-2.3.3-12.fc40.x86_64
  
can't install ocaml-alt-ergo-parsers-devel:
  - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Big_int) = 9baee39b19ca3fc273e216de36f77a4f needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Nat) = ab421a60497138b6287679466dd16c17 needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Num) = 17d70877b2fa6874d8cd2b3a4a55430f needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Ratio) = 4dff6978872b21210e38ebb0a9550eb8 needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Arith_flags) = 6253f728b9f32e55b1bb21e506b45a23 needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  - nothing provides ocamlx(Int_misc) = 5c76db9390d829143dfc331f1654b465 needed by ocaml-alt-ergo-parsers-devel-2.3.3-12.fc40.x86_64
  
can't install alt-ergo:
  - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by alt-ergo-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by alt-ergo-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by alt-ergo-2.3.3-12.fc40.x86_64
  - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by alt-ergo-2.3.3-12.fc40.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-40-x86_64 --config-opts mirrored=False install ocaml-alt-ergo-lib ocaml-alt-ergo-lib-devel ocaml-alt-ergo-parsers ocaml-alt-ergo-parsers-devel alt-ergo


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-12-27 13:05:09 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 40.

Thanks for taking care of it!
Note You need to log in before you can comment on or make changes to this bug.