diff --git a/alt-ergo.spec b/alt-ergo.spec
index cbe870d..0331278 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -8,7 +8,7 @@
 
 Name:		alt-ergo
 Version:	2.2.0
-Release:	4%{?dist}
+Release:	6%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	ASL 2.0
 
@@ -24,6 +24,7 @@ Patch0:		%{name}-1.30-use-pic.patch
 
 BuildRequires:	desktop-file-utils
 BuildRequires:	gtksourceview2-devel
+BuildRequires:	make
 BuildRequires:	ocaml
 BuildRequires:	ocaml-findlib
 BuildRequires:	ocaml-lablgtk-devel
@@ -176,6 +177,15 @@ done
 %{_libdir}/ocaml/%{name}/altErgoLib.cmt
 
 %changelog
+* Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-6
+- Rebuild for ocaml-zarith 1.11
+
+* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-5
+- Rebuild for ocaml-zarith 1.10
+
+* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-4.1
+- Bump release and rebuild.
+
 * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-4
 - OCaml 4.11.1 rebuild