diff --git a/why3.spec b/why3.spec
index b01a89b..1dcd287 100644
--- a/why3.spec
+++ b/why3.spec
@@ -8,7 +8,7 @@ ExclusiveArch: %{ocaml_native_compiler}
 
 Name:           why3
 Version:        1.7.2
-Release:        7%{?dist}
+Release:        8%{?dist}
 Summary:        Software verification platform
 
 License:        LGPL-2.1-only WITH OCaml-LGPL-linking-exception
@@ -283,6 +283,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
 %files all
 
 %changelog
+* Mon Aug  5 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-8
+- Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2
+
 * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.2-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild