From 0264a9c4a9a43c8d70e6747e73da47c47e938f54 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 2 Dec 2020 16:08:48 -0700
Subject: [PATCH] Version 20201201.

---
 ocaml-menhir.spec | 17 +++++++----------
 sources           |  2 +-
 2 files changed, 8 insertions(+), 11 deletions(-)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index 3b88543..63a7b79 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:        20200624
-Release:        3%{?dist}
+Version:        20201201
+Release:        1%{?dist}
 Summary:        LR(1) parser generator for OCaml
 
 # The generator is GPLv2
@@ -81,12 +81,6 @@ parser is correct and complete with respect to the grammar).
 %prep
 %setup -q -n menhir-%{version}
 
-# Enable debuginfo
-sed -i 's/-j 0/-cflag -g -lflag -g &/' src/Makefile
-
-# Do not ship the obsolete demos
-rm -fr demos/obsolete
-
 %build
 dune build %{?_smp_mflags}
 %if %{with coq}
@@ -158,11 +152,14 @@ find %{buildroot}%{_libdir}/ocaml -name \*.cmxs -exec chmod a+x {} \+
 %files -n coq-menhirlib
 %doc coq-menhirlib/CHANGES.md coq-menhirlib/README.md
 %license coq-menhirlib/LICENSE
-%{_libdir}/coq/user-contrib/MenhirLib/
+%{_libdir}/ocaml/coq/user-contrib/MenhirLib/
 %{_libdir}/ocaml/coq-menhirlib/
 %endif
 
 %changelog
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 20201201-1
+- Version 20201201
+
 * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 20200624-3
 - OCaml 4.11.1 rebuild
 
diff --git a/sources b/sources
index 91edca0..e9b6cc4 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (menhir-20200624.tar.bz2) = 18e89bf33fbed5862ffe48ac803d67e5556e00ed2683775d323c47826d069113faca89d5cee5a644936a50a1533d7f38aefff0ef65b9fb7d1342412d6be44679
+SHA512 (menhir-20201201.tar.bz2) = 2ea322a17e02fa96a0b9ef60ea334b55cd52f0794723f930c3b2c7e4905444305c674db586663e75f0ac7076f3a1a7540dfced6c6617b84ce4b59e17d76a5ca0