diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index ccd78e6..e5a2e6a 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,11 +7,11 @@
 # to debuginfo generation.
 %global debug_package %{nil}
 %global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.3pl2
+%global coqver 8.3pl3
 
 Name:           gappalib-coq
 Version:        0.17.0
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Coq support library for gappa
 
 Group:          Applications/Engineering
@@ -79,6 +79,9 @@ strip $RPM_BUILD_ROOT%{gappadir}/gappatac.cmxs
 %{gappadir}/*.v
 
 %changelog
+* Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 0.17.0-2
+- Rebuild for coq 8.3pl3
+
 * Mon Dec 12 2011 Jerry James <loganjerry@gmail.com> - 0.17.0-1
 - New upstream release