Frama-C was failing to start because the why3 plugin was linked with ocaml-zip, but the version of ocaml-zip available in Fedora 31 does not provide a shared object. These updates represent a workaround: disable zip compression in why3. Zip compression is back in Fedora 32 and later where the version of ocaml-zip is sufficiently recent.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2020-4aff844684
Please login to add feedback.
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
jjames edited this update.
New build(s):
Removed build(s):
Karma has been reset.
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by bodhi.
This update has been pushed to stable.