diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index dda9f1c..7a218bc 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -1,5 +1,3 @@
-%undefine _package_note_flags
-
 %ifnarch %{ocaml_native_compiler}
 %global debug_package %{nil}
 %endif
@@ -9,12 +7,12 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{ocamldir}/coq/user-contrib/Gappa
-%global coqver  8.17.0
+%global coqver  8.17.1
 %global commit  c761927f88a3a0e99efdf54fd93c2d8276deab91
 
 Name:           gappalib-coq
 Version:        1.5.3
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPL-3.0-or-later
@@ -100,6 +98,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-2
+- OCaml 5.0.0 rebuild
+
 * Sat Apr  1 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-1
 - Version 1.5.3