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