From 059fdf00b4fad8be0494ec556ab4e8d8a08e467d Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 2 Apr 2020 14:34:15 +0100
Subject: [PATCH] Re-enable Coq bindings after OCaml bootstrap.

---
 ocaml-menhir.spec | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index dc0ec2f..dbee954 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -2,11 +2,11 @@
 %global debug_package %{nil}
 %endif
 
-%bcond_with coq
+%bcond_without coq
 
 Name:           ocaml-menhir
 Version:        20200211
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        LR(1) parser generator for OCaml
 
 # The generator is GPLv2
@@ -162,6 +162,9 @@ find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
 %endif
 
 %changelog
+* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-3
+- Re-enable Coq bindings after OCaml bootstrap.
+
 * Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 20200211-2
 - Update all OCaml dependencies for RPM 4.16.