FEDORA-2022-9d59b788dc — unspecified update for opam

stable

opam-2.1.3-1.fc37

FEDORA-2022-9d59b788dc created by cheeselee 9 months ago for Fedora 37

Automatic update for opam-2.1.3-1.fc37.

Changelog

* Sat Aug 20 2022 Robin Lee <cheeselee@fedoraproject.org> 2.1.3-1
- Version 2.1.3 (RHBZ#2117903)
* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> 2.1.2-7
- Rebuild for z3 4.11.0.  Convert License tag to SPDX.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-9d59b788dc

This update was automatically created

9 months ago

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

9 months ago

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

9 months ago

This update has been submitted for stable by bodhi

9 months ago

Please login to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

ignored

Builds

opam-2.1.3-1.fc37

Settings

Unstable by Karma

-3

Stable by Karma

disabled

Stable by Time

0 days

Dates

submitted

9 months ago

in testing

9 months ago

in stable

9 months ago

BZ#2117903 opam-2.1.3 is available

opam-2.1.3-1.fc37

Automated Test Results

ignored