From 74b0e5c86f2ea5b4f55cca05700e6f547300c466 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Dec 27 2011 19:45:49 +0000
Subject: New upstream release.


---

diff --git a/.gitignore b/.gitignore
index 8a90ef7..61d951b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-coq-8.3pl2.tar.gz
+/coq-8.3pl3.tar.gz
diff --git a/coq.spec b/coq.spec
index 5ac20db..7ae45c8 100644
--- a/coq.spec
+++ b/coq.spec
@@ -23,8 +23,8 @@
 # however, this name is proper as per the Coq documentation
 
 Name:           coq
-Version:        8.3pl2
-Release:        4%{?dist}
+Version:        8.3pl3
+Release:        1%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -344,6 +344,9 @@ mktexlsr &> /dev/null
 %{_xemacs_sitelispdir}/coq/*.el
 
 %changelog
+* Tue Dec 27 2011 Jerry James <loganjerry@gmail.com> - 8.3pl3-1
+- New upstream release
+
 * Tue Dec 06 2011 Adam Jackson <ajax@redhat.com> - 8.3pl2-4
 - Rebuild for new libpng
 
diff --git a/sources b/sources
index 5516cd9..fada55b 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-db415f6c5372f5a443699c62f5affcb4  coq-8.3pl2.tar.gz
+37e9a52110a025128667c03fed75f9c2  coq-8.3pl3.tar.gz