diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 3bdd340..bac7a3f 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,7 +11,7 @@
 
 Name:           gappalib-coq
 Version:        1.4.4
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -95,6 +95,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Sat Jan  2 2021 Jerry James <loganjerry@gmail.com> - 1.4.4-9
+- Rebuild for flocq 3.4.0
+
 * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-8
 - Rebuild for coq 8.12.2