diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 37bacf8..1159898 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -8,11 +8,11 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.5pl2
+%global coqver 8.5pl3
 
 Name:           gappalib-coq
 Version:        1.3.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -91,6 +91,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 1.3.1-3
+- Rebuild for coq 8.5pl3
+
 * Mon Oct 03 2016 Dan Horák <dan[at]danny.cz> - 1.3.1-2
 - disable debuginfo subpackage on interpreted builds