Notification time stamped 2023-01-19 15:39:19 UTC
From e8c8f93a9cade79747ed40cce7907bbecc2e5c47 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng(a)fedoraproject.org>
Date: Jan 19 2023 15:39:14 +0000
Subject: Rebuilt for
https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng(a)fedoraproject.org>
---
diff --git a/lfsc.spec b/lfsc.spec
index bef7230..266fa5f 100644
--- a/lfsc.spec
+++ b/lfsc.spec
@@ -6,7 +6,7 @@
Name: lfsc
Version: 0.20210305
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: SMT proof checker
License: BSD-3-Clause
@@ -106,6 +106,9 @@ cd -
%{_libdir}/liblfscc.so
%changelog
+* Thu Jan 19 2023 Fedora Release Engineering <releng(a)fedoraproject.org> -
0.20210305-5
+- Rebuilt for
https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
+
* Mon Nov 28 2022 Jerry James <loganjerry(a)gmail.com> - 0.20210305-4
- New project URL
- Convert License tag to SPDX
https://src.fedoraproject.org/rpms/lfsc/c/e8c8f93a9cade79747ed40cce7907bb...