diff --git a/coq.spec b/coq.spec
index 44b5009..74c10f4 100644
--- a/coq.spec
+++ b/coq.spec
@@ -19,7 +19,7 @@ ExcludeArch: %{ix86}
 
 Name:           coq
 Version:        8.17.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 # The project as a whole is LGPL-2.1-only.  Exceptions:
@@ -391,6 +391,9 @@ ln -s ../../coq/coq_style.xml %{buildroot}%{_datadir}/gtksourceview-3.0/styles
 %endif
 
 %changelog
+* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 8.17.1-2
+- OCaml 5.0 rebuild for Fedora 39
+
 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-1
 - Version 8.17.1
 - Build in release mode