stable

frama-c-28.0-2.fc39 and why3-1.7.1-1.fc39

FEDORA-2024-542f3d771c created by jjames 5 months ago for Fedora 39

Changes in why3 1.7.1:

  • restored syntax highlighting in IDE
  • improved detection of Isabelle 2022 and Alt-Ergo 2.5

The frama-c build is a simple rebuild due to the why3 update.

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-2024-542f3d771c

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

5 months ago

This update has been submitted for testing by bodhi.

5 months ago

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

5 months ago

This update has been pushed to testing.

5 months ago

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

5 months ago

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

5 months ago

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

5 months ago

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

5 months ago

This update has been submitted for stable by bodhi.

5 months ago

This update has been pushed to stable.

5 months 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
5 months ago
in testing
5 months ago
in stable
5 months ago
approved
5 months ago
BZ#2259396 why3-1.7.1 is available
0
0

Automated Test Results