diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index cf984a3..dd98e08 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -9,7 +9,7 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/ocaml/coq/user-contrib/Gappa
-%global coqver  8.15.1
+%global coqver  8.15.2
 %global commit  2cdb37f4fd19f8a54606037e94dd438a36898ce7
 
 Name:           gappalib-coq