From 75a5f25c7d8ddf75a210033e4b0efb3940d28dc9 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Sun, 19 Jan 2020 13:20:48 +0000
Subject: [PATCH] Bump release.

---
 ocaml-menhir.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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.