diff --git a/alt-ergo.spec b/alt-ergo.spec
index c5ff404..b56a195 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -8,7 +8,7 @@
 
 Name:		alt-ergo
 Version:	2.2.0
-Release:	8%{?dist}
+Release:	9%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	ASL 2.0
 
@@ -182,6 +182,9 @@ done
 %{_libdir}/ocaml/%{name}/altErgoLib.cmt
 
 %changelog
+* Wed Mar  3 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-9
+- Rebuild for ocaml-zarith 1.12
+
 * Thu Feb  4 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-8
 - Updates to the desktop and metainfo files
 - Add -pervasives patch