From d2c9d1b88c7dd12d919bc60c2c0ba2824099d13e Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 23 Dec 2020 20:02:43 -0700
Subject: [PATCH] Rebuild for coq 8.12.2.

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

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index c57c393..cc785c1 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -11,7 +11,7 @@
 
 Name:           ocaml-menhir
 Version:        20201201
-Release:        1%{?dist}
+Release:        2%{?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
+* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 20201201-2
+- Rebuild for coq 8.12.2
+
 * Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 20201201-1
 - Version 20201201