[coq] New upstream release.

[Jerry James]

commit 77deb5e6b05cb03364c8d7fee715aa1107019500
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue May 13 16:24:08 2014 -0600

    New upstream release.

 .gitignore |    2 +-
 coq.spec   |    8 +++++---
 sources    |    2 +-
 3 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 043f1c1..161bebd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/coq-8.4pl3.tar.gz
+/coq-8.4pl4.tar.gz
diff --git a/coq.spec b/coq.spec
index e89cfcf..c95dddd 100644
--- a/coq.spec
+++ b/coq.spec
@@ -17,11 +17,10 @@
 # however, this name is proper as per the Coq documentation
 
 Name:           coq
-Version:        8.4pl3
-Release:        3%{?dist}
+Version:        8.4pl4
+Release:        1%{?dist}
 Summary:        Proof management system
 
-Group:          Applications/Engineering
 License:        LGPLv2
 URL:            http://coq.inria.fr/
 Source0:        http://coq.inria.fr/V%{version}/files/%{name}-%{version}.tar.gz
@@ -301,6 +300,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Tue May 13 2014 Jerry James <loganjerry at gmail.com> - 8.4pl4-1
+- New upstream release
+
 * Tue Apr 15 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl3-3
 - Remove ocaml_arches macro (RHBZ#1087794).
 
diff --git a/sources b/sources
index 95224fb..dbafb7f 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-27129f7cbdcaa52dcd54081c0836e0d6  coq-8.4pl3.tar.gz
+6a9f61cf0ece644b170f722fbc8cf2a1  coq-8.4pl4.tar.gz