From 2e667152feff6a8d160a494fad05faa4c6691bd6 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 21 2022 17:08:27 +0000
Subject: Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild


Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

---

diff --git a/lfsc.spec b/lfsc.spec
index de72441..2836757 100644
--- a/lfsc.spec
+++ b/lfsc.spec
@@ -7,7 +7,7 @@
 
 Name:           lfsc
 Version:        0.20210305
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        SMT proof checker
 
 License:        BSD
@@ -107,6 +107,9 @@ cd -
 %{_libdir}/liblfscc.so
 
 %changelog
+* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
+
 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild