FEDORA-2021-2acc2457d1 created by jjames 6 months ago for Fedora 34
stable

Changes in version 4.8.11:

  • self-contained character theory, direct support for UTF8, Unicode character sets. Characters are by default unicode with an 18 bit range.
  • support for incremental any-time MaxSAT using the option opt.enable_lns. The API allows registering a callback function that is invoked on each incremental improvement to objectives.

How to install

sudo dnf upgrade --advisory=FEDORA-2021-2acc2457d1

This update has been submitted for testing by jjames.

6 months ago

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

6 months ago

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

6 months ago

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

6 months ago

This update has been pushed to testing.

6 months ago

This update has been submitted for stable by bodhi.

6 months ago

This update has been pushed to stable.

6 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
7 days
Dates
submitted
6 months ago
in testing
6 months ago
in stable
6 months ago
BZ#1968113 z3-4.8.11 is available
0
0

Automated Test Results