stable

yices-2.6.4-5.fc38

FEDORA-2022-8d5b62daed created by jjames 2 years ago for Fedora 38

Automatic update for yices-2.6.4-5.fc38.

Changelog
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 2.6.4-5
- Regenerate the cudd configure script to fix FTBFS
- Convert License tag to SPDX
* Mon Nov 28 2022 Timm Bäder <tbaeder@redhat.com> - 2.6.4-5
- Get rid of an implicit int function declaration in a configure check

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-2022-8d5b62daed

This update was automatically created

2 years ago

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

2 years ago

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

2 years ago

This update has been submitted for stable by bodhi

2 years ago

Please login to add feedback.

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

Automated Test Results