FEDORA-EPEL-2022-d5f4b0658f — newpackage update for z3

stable

FEDORA-EPEL-2022-d5f4b0658f created by tdawson a year ago for Fedora EPEL 9

Initial build in epel9

This update has been submitted for testing by tdawson.

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

This update has been pushed to testing.

This update has been submitted for stable by bodhi.

This update has been pushed to stable.

Please login to add feedback.

Metadata

Type

newpackage

Karma

Signed

Content Type

RPM

Test Gating

ignored

Builds

Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

7 days

Dates

submitted

a year ago

in testing

a year ago

in stable

a year ago

BZ#2069260 Please branch and build z3 in epel9

z3-4.8.15-2.el9

ignored