diff --git a/fr.lri.why3.metainfo.xml b/fr.lri.why3.metainfo.xml
index a7161d6..5ec6c75 100644
--- a/fr.lri.why3.metainfo.xml
+++ b/fr.lri.why3.metainfo.xml
@@ -38,7 +38,7 @@
       <caption>File reloaded after modifying goal G2</caption>
     </screenshot>
   </screenshots>
-  <update_contact>loganjerry@gmail.com</update_contact>
+  <update_contact>why3-maintainers@fedoraproject.org</update_contact>
   <url type="homepage">http://why3.lri.fr/</url>
   <url type="bugtracker">https://gitlab.inria.fr/why3/why3/issues</url>
   <content_rating type="oars-1.1"></content_rating>
diff --git a/why3.spec b/why3.spec
index 4c9a831..4b82851 100644
--- a/why3.spec
+++ b/why3.spec
@@ -11,7 +11,7 @@
 
 Name:           why3
 Version:        1.5.1
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        Software verification platform
 
 License:        LGPL-2.1-only WITH OCaml-LGPL-linking-exception
@@ -310,6 +310,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
 %files all
 
 %changelog
+* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 1.5.1-8
+- Rebuild for coq 8.17.1
+
 * Sat Apr  1 2023 Jerry James <loganjerry@gmail.com> - 1.5.1-7
 - Rebuild for coq 8.17.0