diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index f525f8c..702f082 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -9,7 +9,7 @@
 
 Name:           ocaml-menhir
 Version:        20190924
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        LR(1) parser generator for OCaml
 
 # The generator is GPLv2
@@ -102,6 +102,9 @@ find demos \( -name .merlin -o -name .gitignore \) -exec rm {} \+
 %{_libdir}/ocaml/menhirSdk/menhirSdk.o
 
 %changelog
+* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 20190924-5
+- Disable coq for now.
+
 * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 20190924-4
 - Bump release and rebuild.