stable

clingo-5.8.1-1.fc43

FEDORA-2026-65ae3c8f17 created by thofmann a week ago for Fedora 43

Update to clingo 5.8.1.

  • flush files when using file-based backends
  • fix re2c detection (#591)
  • fix bound computation for integer variables (#626, #628)
  • fix segfaults during cleanup (#640)
  • fix concurrent creation of symbols and improve concurrent reads/writes (#617)
  • update clasp to version 3.4.1 fixing various issues (#622, #623)

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-2026-65ae3c8f17

This update has been submitted for testing by thofmann.

a week ago

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

a week ago

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

a week ago

This update has been pushed to testing.

a week ago

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

5 days ago

This update has been submitted for stable by thofmann.

4 days ago

This update has been pushed to stable.

3 days ago

Please log in to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
disabled
Dates
submitted
a week ago
in testing
a week ago
in stable
3 days ago
approved
5 days ago
BZ#2511290 clingo-5.8.1 is available
0
0

Automated Test Results