[coq] Rebuild for new libpng

[Adam Jackson]

commit 6837b559a3a8088b88b0af650ff8d5810b847f95
Author: Adam Jackson <ajax at redhat.com>
Date:   Mon Dec 5 22:51:06 2011 -0500

    Rebuild for new libpng

 coq.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index beb66d4..5ac20db 100644
--- a/coq.spec
+++ b/coq.spec
@@ -24,7 +24,7 @@
 
 Name:           coq
 Version:        8.3pl2
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -344,6 +344,9 @@ mktexlsr &> /dev/null
 %{_xemacs_sitelispdir}/coq/*.el
 
 %changelog
+* Tue Dec 06 2011 Adam Jackson <ajax at redhat.com> - 8.3pl2-4
+- Rebuild for new libpng
+
 * Thu Oct 27 2011 Jerry James <loganjerry at gmail.com> - 8.3pl2-3
 - Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed
 - Drop tar_base_name, no longer necessary