diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index aea1627..e449119 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -11,7 +11,7 @@
 
 Name:           gappalib-coq
 Version:        1.4.6
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -95,6 +95,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Tue Mar  2 11:18:07 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-4
+- OCaml 4.12.0 build
+
 * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3
 - Rebuild for coq 8.13.0