stable

cvc4-1.8-5.fc34

FEDORA-2021-96b60ed229 created by jjames 2 years ago for Fedora 34

This update:

  • removes spurious rpaths (bz 1967190)
  • fixes a broken jar symlink in the cvc4-java package
  • adds missing executable bits to a shared object in the cvc4-python3 package

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-2021-96b60ed229

This update has been submitted for testing by jjames.

2 years ago

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

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 pushed to testing.

2 years ago

This update has been submitted for stable by bodhi.

2 years ago

This update has been pushed to stable.

2 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
2 years ago
in testing
2 years ago
in stable
2 years ago
BZ#1967190 cvc4 fails to build in Fedora 35+: Broken RPATH will fail rpmbuild
0
0

Automated Test Results