diff --git a/apron.spec b/apron.spec
index 20e1b20..4f74d40 100644
--- a/apron.spec
+++ b/apron.spec
@@ -1,6 +1,6 @@
 Name:           apron
 Version:        0.9.12
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        Numerical abstract domain library
 
 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -235,6 +235,9 @@ test/ctest1
 %{_jnidir}/*.so
 
 %changelog
+* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9
+- OCaml 4.11.0 rebuild
+
 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild