Notification time stamped 2023-01-19 14:55:32 UTC
From 7acd8d837b3c578929630d1051a206db85d7c17c Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering releng@fedoraproject.org Date: Jan 19 2023 14:55:28 +0000 Subject: Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
Signed-off-by: Fedora Release Engineering releng@fedoraproject.org
---
diff --git a/klee.spec b/klee.spec index f46abde..30f97f3 100644 --- a/klee.spec +++ b/klee.spec @@ -8,7 +8,7 @@
Name: klee Version: 2.3 -Release: 6%{?dist} +Release: 7%{?dist} Summary: Symbolic Execution Engine
%define uclibc_version 1.3 @@ -148,6 +148,9 @@ cd "$BUILD_DIR" %{_libdir}/libkleeRuntest.so.1.0
%changelog +* Thu Jan 19 2023 Fedora Release Engineering releng@fedoraproject.org - 2.3-7 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild + * Fri Aug 19 2022 Jerry James loganjerry@gmail.com - 2.3-6 - Rebuild for z3 4.11 - Add z3-4.11.patch due to Z3_TRUE removal
https://src.fedoraproject.org/rpms/klee/c/7acd8d837b3c578929630d1051a206db85...