diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index cdb657d..f435dc6 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,11 +7,11 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/ocaml/coq/user-contrib/Gappa
-%global coqver 8.12.0
+%global coqver 8.12.1
 
 Name:           gappalib-coq
 Version:        1.4.4
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -95,6 +95,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-7
+- Rebuild for coq 8.12.1
+
 * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-6
 - Rebuild due to flocq rebuild
 - The source subpackage cannot be noarch due to its install location