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 2163830 - F38FailsToInstall: frama-c
Summary: F38FailsToInstall: frama-c
Keywords:
Status: CLOSED WORKSFORME
Alias: None
Product: Fedora
Classification: Fedora
Component: frama-c
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F38FailsToInstall
TreeView+ depends on / blocked
 
Reported: 2023-01-24 14:01 UTC by Fedora Fails To Install
Modified: 2023-01-25 18:41 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: ---
Doc Text:
Clone Of:
Environment:
Last Closed: 2023-01-25 18:41:38 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Fedora Fails To Install 2023-01-24 14:01:17 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 (frama-c) Fails To Install in Fedora 38:

can't install frama-c:
  - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocaml(Sexplib0__) = c82a4bed4cf1f8a7e557dea3d219c984 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Bytes) = e596dc3e9601d184f8fb9caa16ebc39e needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Printexc) = 91d35af34dfc354f724931b058a14954 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(CamlinternalOO) = 058cc49b692a2dd69add77baeb7dfd6d needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Char) = 10c8fcef55e12a07a1c4ab479d07547d needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Int64) = 8a6af33b06c097c633dbf42a56b24bd0 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Unix) = 7ab988a5f1bc8761aa80f04fc8c5580e needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Set) = c0158eea0410a85c8ad557c3d3358cd9 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Int32) = 902c74c2fdd5555916320d907ba89f7f needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Map) = f184f9d40bdaddd2e3d8a36b51d5f55f needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Gc) = e35fd114c1210e06cfdf8cb8e368628c needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Queue) = 2cf30720dec187835200485a0eda7f62 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Nativeint) = 936eff8bdcbab2dde49efea95b02595a needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Arg) = d130df570295c3fefaee00f88db5fed5 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Parsing) = f50fe0f7d9facd7fd97342bdfe2c1be0 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Scanf) = 4e834bd2603425af3ac3eaddd89f0f4f needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Weak) = dfb096ede16e512b37567ba33be3fb3c needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocaml(Re__) = 4d845614bcba08fee0b9ba6c58f4ae58 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Obj) = f4a3fd2b3174036e9e913e92c4f7b2ba needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Stack) = adbb9467e55324452b66f5e80904fd00 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Str) = 88040aadd5ce239c39603ad24fe18862 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Marshal) = 3e832c8ffc49756e959e1c2d30cc4c09 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Digest) = b1afec0ae33fff7434ae1060305691f5 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Lazy) = 7c884197066b622803d08bb919760f07 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocaml(Stdlib__Float) = f229fd7957ec7bb27886efa011217242 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Option) = 07c1fa8eda3b85dd24bce7ef89f8742e needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Dynlink) = e18097515416b9553db8d444dc4b5d85 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(CamlinternalMod) = b1cf5908bd32decae56ba9dbb3154081 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Seq) = f91b4d66f88cb2f8ce904e7cbfea436c needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Fun) = f6f8c691124d6e7b9b9b3ca967644a42 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Int) = 657a096c1b227b9c7b55f73d8639b96e needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Float) = e683037978e09c1f5f323466831b389a needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocaml(Graph__) = 0358e7d1cdfe616e7ecdecdc46ba519e needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Components) = 839aaadb68289d44a9f323380db31e7c needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Graphviz) = 1a3cc0e41edbf5e9216722f0b8e763d3 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Imperative) = e89afa1f2ac7980f8aade4667f14b9dd needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Oper) = 304493e95f6b84673aa6e83bad089569 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Path) = bd403966058adf21833be4540dc67b92 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Topological) = 9f76dcdb400871a28a7762b14eb7b97c needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Traverse) = 4d8ccae76589855cdfc25795e690bc9d needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Blocks) = e0ac5e952c2a2072e39a60be0c3f6420 needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Fixpoint) = 1d9e16ae5b404487a69d43e126300d7b needed by frama-c-26.0-3.fc38.x86_64
  - nothing provides ocamlx(Graph__Persistent) = 8eca94ce748bab7a8c93dd60c7377e28 needed by frama-c-26.0-3.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 frama-c


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!


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