From 9df4ba11d9a6cf7ef3900dc9d5faa06415c938f7 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jan 20 2022 15:35:54 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild


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

---

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