Notification time stamped 2023-01-19 15:39:19 UTC
From e8c8f93a9cade79747ed40cce7907bbecc2e5c47 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering releng@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@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@fedoraproject.org - 0.20210305-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild + * Mon Nov 28 2022 Jerry James loganjerry@gmail.com - 0.20210305-4 - New project URL - Convert License tag to SPDX
https://src.fedoraproject.org/rpms/lfsc/c/e8c8f93a9cade79747ed40cce7907bbecc...
scm-commits@lists.fedoraproject.org