stable

frama-c-28.1-3.fc41 and why3-1.7.2-1.fc41

FEDORA-2024-182cdf00f1 created by jjames 5 months ago for Fedora 41

Changes in why3 1.7.2:

  • restored the legacy shortcut for Alt-Ergo 2.5
  • fixed various bugs in the lexer of why3 doc
  • made prover detection more reliable when paths need escaping

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

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 'waiting'.

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

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Builds
2
frama-c-28.1-3.fc41
why3-1.7.2-1.fc41
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
5 months ago
in testing
5 months ago
in stable
5 months ago
approved
5 months ago
frama-c-28.1-3.fc41
why3-1.7.2-1.fc41

Automated Test Results

Copyright © 2007-2024 Red Hat, Inc. and others.

Running bodhi-server 8.1.1^202406221404gite0d6336 on bodhi-web-221-xmmb7.

bodhi is Free Software. Please file issues if you have any problems. Read the documentation.

• Composes • Legal • Privacy policy •