stable

cadical-1.9.5-1.fc40, cvc5-1.1.2-1.fc40, & 4 more

FEDORA-2024-6bfd64f19d created by jjames 2 months ago for Fedora 40

Changes in cadical 1.9.5:

  • Removes an unexpected performance regression on the anniversary track due to marking forward strengthened redundant clauses as used

Changes in cvc5 1.1.2:

Changes in drat-trim:

  • Update for proof (de)compression fixes
  • Stop building for 32-bit x86

Changes in drat2er:

  • Switch to different upstream repository
  • Drop upstreamed arg-order and cli11-2-compat patches
  • BR catch-devel instead of catch2-devel

Changes in kissat:

  • Stop building for 32-bit x86

Changes in lfsc:

  • Update to 20230914 git snapshot
  • Drop upstreamed stdint patch

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-6bfd64f19d

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

2 months ago

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

2 months ago

This update has been submitted for testing by bodhi.

2 months ago

This update has been pushed to testing.

2 months ago

This update has been submitted for stable by bodhi.

There is an ongoing freeze; this will be pushed to stable after the freeze is over.

2 months ago

This update has been pushed to stable.

2 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
2 months ago
in testing
2 months ago
in stable
2 months ago
approved
2 months ago

Automated Test Results