stable

klee-2.3-3.fc36

FEDORA-2022-3284758d81 created by lzaoral 2 years ago for Fedora 36

klee-2.3-3.fc36

* Rebuild with LLVM 14

klee-2.3-2.fc36

* Update KLEE to 2.3
* Update KLEE uClibc to v1.3

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-3284758d81

This update has been submitted for testing by lzaoral.

2 years ago

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

2 years ago

This update has obsoleted klee-2.3-2.fc36, and has inherited its bugs and notes.

2 years ago

lzaoral edited this update.

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
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush 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
modified
2 years ago

Automated Test Results