diff --git a/z3.spec b/z3.spec
index 42f0915..5300e92 100644
--- a/z3.spec
+++ b/z3.spec
@@ -2,7 +2,7 @@
 
 Name:           z3
 Version:        4.7.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -259,6 +259,9 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
 %{python3_sitearch}/%{name}/
 
 %changelog
+* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-3
+- OCaml 4.07.0-rc1 rebuild.
+
 * Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 4.7.1-2
 - Rebuilt for Python 3.7