diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index e74fc4f..0e92511 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -8,7 +8,7 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.6
+%global coqver 8.6.1
 
 Name:           gappalib-coq
 Version:        1.3.2