stable

z3-4.8.17-4.fc37

FEDORA-2022-a21b061290 created by churchyard 12 months ago for Fedora 37

Automatic update for z3-4.8.17-4.fc37.

Changelog
* Mon Jun 20 2022 Python Maint <python-maint@redhat.com> - 4.8.17-4
- Rebuilt for Python 3.11
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.17-3
- OCaml 4.14.0 rebuild

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-a21b061290

This update was automatically created

12 months ago

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

12 months ago

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

12 months ago

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

12 months ago

This update has been submitted for stable by bodhi

12 months ago

Please login to add feedback.

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

Automated Test Results