diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index f2a10f3..96750c9 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -1,10 +1,6 @@
 # Coq's plugin architecture requires cmxs files, so:
 ExclusiveArch: %{ocaml_native_compiler}
 
-# ANTLR is unavailable on i686, so coq is also unavailable
-# See https://fedoraproject.org/wiki/Changes/Drop_i686_JDKs
-#ExclusiveArch:  %%{java_arches}
-
 %ifnarch %{ocaml_native_compiler}
 %global debug_package %{nil}
 %endif
@@ -14,12 +10,12 @@ ExclusiveArch: %{ocaml_native_compiler}
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{ocamldir}/coq/user-contrib/Gappa
-%global coqver  8.17.1
+%global coqver  8.18.0
 %global commit  c761927f88a3a0e99efdf54fd93c2d8276deab91
 
 Name:           gappalib-coq
 Version:        1.5.3
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPL-3.0-or-later
@@ -101,6 +97,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Tue Sep 12 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-5
+- Rebuild for coq 8.18.0
+
 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-4
 - Rebuild for ocaml-zarith 1.13