diff --git a/zenon.spec b/zenon.spec
index b8c04f9..4cdf784 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -1,11 +1,11 @@
 %ifnarch %{ocaml_native_compiler}
 %global debug_package %{nil}
 %endif
-%global coqver 8.12.0
+%global coqver 8.12.2
 
 Name:		zenon
 Version:	0.8.4
-Release:	17%{?dist}
+Release:	19%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 License:	BSD
 URL:		http://zenon-prover.org/
@@ -27,6 +27,7 @@ ExcludeArch: s390x
 BuildRequires:	coq = %{coqver}
 BuildRequires:	ghostscript-core
 BuildRequires:	ImageMagick
+BuildRequires:	make
 BuildRequires:	ocaml
 
 Requires:	coq%{?_isa} = %{coqver}
@@ -98,6 +99,15 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-19
+- Rebuild for coq 8.12.2
+
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-18
+- Rebuild for coq 8.12.1
+
+* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-17.1
+- Bump release and rebuild.
+
 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-17
 - OCaml 4.11.1 rebuild