diff --git a/apron.spec b/apron.spec
index 88d8439..4e9eb94 100644
--- a/apron.spec
+++ b/apron.spec
@@ -1,6 +1,6 @@
 Name:           apron
 Version:        0.9.12
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Numerical abstract domain library
 
 # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
@@ -232,6 +232,9 @@ test/ctest1
 %{_jnidir}/*.so
 
 %changelog
+* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7
+- OCaml 4.11.0+dev2-2020-04-22 rebuild
+
 * Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6
 - OCaml 4.11.0 pre-release attempt 2