From e8ff3235bce133b17d5d8aa6f548df7b0713aa7e Mon Sep 17 00:00:00 2001
From: Jerry James <jamesjer@betterlinux.com>
Date: Dec 18 2013 15:30:41 +0000
Subject: New upstream release.


---

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@gmail.com> - 8.4pl3-1
+- New upstream release
+
 * Wed Oct 02 2013 Richard W.M. Jones <rjones@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