diff --git a/frama-c.spec b/frama-c.spec
index f287dba..90a2ba2 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -8,7 +8,7 @@
 
 Name:           frama-c
 Version:        20.0
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Framework for source code analysis of C software
 
 %global pkgversion %{version}-Calcium
@@ -268,6 +268,9 @@ ln -s %{_bindir}/flamegraph.pl %{buildroot}%{_datadir}/frama-c/analysis-scripts
 %{_xemacs_sitestartdir}/acsl.el
 
 %changelog
+* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20.0-3
+- OCaml 4.11.0+dev2-2020-04-22 rebuild
+
 * Sun Apr 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20.0-2
 - Update all OCaml dependencies for RPM 4.16.