From e7fa4d88dd73ea378bc01aff2a3f8268eb64afab Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 19 2023 20:47:29 +0000
Subject: Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild


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

---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 1e30527..6386b30 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -19,7 +19,7 @@ ExclusiveArch: %{ocaml_native_compiler}
 
 Name:           gappalib-coq
 Version:        1.5.3
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPL-3.0-or-later
@@ -101,6 +101,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.3-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
+
 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-2
 - OCaml 5.0.0 rebuild