From a41096dacfcc0bad0ef55fd523ebe2c97ec2a7e3 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Feb 02 2024 23:42:47 +0000
Subject: Rebuild for flocq 4.1.4


---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index de62117..6c7c086 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -15,7 +15,7 @@ ExclusiveArch: %{ocaml_native_compiler}
 
 Name:           gappalib-coq
 Version:        1.5.4
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPL-3.0-or-later
@@ -97,6 +97,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Fri Feb  2 2024 Jerry James <loganjerry@gmail.com> - 1.5.4-4
+- Rebuild for flocq 4.1.4
+
 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.4-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild