[coq] New upstream release.

[Jerry James]

commit e8ff3235bce133b17d5d8aa6f548df7b0713aa7e
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Wed Dec 18 08:30:41 2013 -0700

    New upstream release.

 .gitignore |    2 +-
 coq.spec   |    7 +++++--
 sources    |    2 +-
 3 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 6e8f1ea..043f1c1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/coq-8.4pl2.tar.gz
+/coq-8.4pl3.tar.gz
diff --git a/coq.spec b/coq.spec
index 1121d7a..8f8d25f 100644
--- a/coq.spec
+++ b/coq.spec
@@ -22,8 +22,8 @@
 # however, this name is proper as per the Coq documentation
 
 Name:           coq
-Version:        8.4pl2
-Release:        4%{?dist}
+Version:        8.4pl3
+Release:        1%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -332,6 +332,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Mon Dec 16 2013 Jerry James <loganjerry at gmail.com> - 8.4pl3-1
+- New upstream release
+
 * Wed Oct 02 2013 Richard W.M. Jones <rjones at redhat.com> - 8.4pl2-4
 - Rebuild for ocaml-lablgtk 2.18.
 
diff --git a/sources b/sources
index 684553f..95224fb 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-7fd98da8db35a89b9718333a31af6153  coq-8.4pl2.tar.gz
+27129f7cbdcaa52dcd54081c0836e0d6  coq-8.4pl3.tar.gz