diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 522eda6..484a445 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,7 +7,7 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/ocaml/coq/user-contrib/Gappa
-%global coqver  8.14.0
+%global coqver  8.14.1
 %global commit  77978da2f4198c7691c6e7ffd0f3ed7400cb6c16
 
 Name:           gappalib-coq
@@ -94,6 +94,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-2
+- Rebuild for coq 8.14.1
+
 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-1
 - Version 1.5.0