Rebuild for coq 8.17.1

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>

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