diff --git a/alt-ergo.spec b/alt-ergo.spec
index 661bf12..e013532 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -9,7 +9,7 @@
 
 Name:		alt-ergo
 Version:	2.0.0
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	ASL 2.0
 
@@ -142,6 +142,9 @@ done
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
 
 %changelog
+* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-3
+- OCaml 4.08.1 (rc2) rebuild.
+
 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild