stable

flocq-3.2.0-2.fc31, frama-c-19.1-4.fc31, & 3 more

FEDORA-2020-4aff844684 created by jjames 4 years ago for Fedora 31

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.

How to install

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

This update has been submitted for testing by jjames.

4 years ago

This update's test gating status has been changed to 'waiting'.

4 years ago

This update's test gating status has been changed to 'ignored'.

4 years ago

This update has been pushed to testing.

4 years ago

jjames edited this update.

New build(s):

  • why3-1.2.1-3.fc31

Removed build(s):

  • why3-1.2.1-2.fc31

Karma has been reset.

4 years ago

This update has been submitted for testing by jjames.

4 years ago

This update has been pushed to testing.

4 years ago

This update can be pushed to stable now if the maintainer wishes

4 years ago

This update has been submitted for stable by bodhi.

4 years ago

This update has been pushed to stable.

4 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago
modified
4 years ago
BZ#1795083 The frama-c and frama-c-gui programs abort on startup in Rawhide (f32)
0
0

Automated Test Results