diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 3ae64ea..2eaa204 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,11 +11,11 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.11.0
+%global coqver 8.11.1
 
 Name:           gappalib-coq
 Version:        1.4.3
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -102,6 +102,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 1.4.3-2
+- Rebuild for coq 8.11.1
+
 * Wed Apr  8 2020 Jerry James <loganjerry@gmail.com> - 1.4.3-1
 - Version 1.4.3
 - Drop -coq811 patch in favor of upstream's solution