[coq] Rebuild for Ocaml 3.12.1.

[Jerry James]

commit 10d2f4cca62719c654567aaf4ccd7406d4cdb417
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jan 7 10:44:07 2012 -0700

    Rebuild for Ocaml 3.12.1.

 coq.spec |   12 ++++--------
 1 files changed, 4 insertions(+), 8 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 7ae45c8..0a20bbe 100644
--- a/coq.spec
+++ b/coq.spec
@@ -24,7 +24,7 @@
 
 Name:           coq
 Version:        8.3pl3
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -275,7 +275,6 @@ mktexlsr &> /dev/null
 # only for the native compile case)
 
 %files
-%defattr(-,root,root,-)
 # DON'T use the doc macro here or else it wipes out all the other documentation installed!
 %{_mandir}/man1/*
 %{coqdatadir}
@@ -301,7 +300,6 @@ mktexlsr &> /dev/null
 %{coqdocdir}/README
 
 %files coqide
-%defattr(-,root,root,-)
 %doc INSTALL.ide
 %{_bindir}/coqide*
 %{coqdatadir}/ide
@@ -313,7 +311,6 @@ mktexlsr &> /dev/null
 %{_datadir}/mime/packages/coq.xml
 
 %files doc
-%defattr(-,root,root,-)
 %{coqdocdir}/*
 %exclude %{coqdocdir}/CHANGES
 %exclude %{coqdocdir}/COMPATIBILITY
@@ -324,26 +321,25 @@ mktexlsr &> /dev/null
 %exclude %{coqdocdir}/README
 
 %files emacs
-%defattr(-,root,root,-)
 %dir %{_emacs_sitelispdir}/coq
 %{_emacs_sitelispdir}/coq/*.elc
 %doc README.coq-emacs
 
 %files emacs-el
-%defattr(-,root,root,-)
 %{_emacs_sitelispdir}/coq/*.el
 
 %files xemacs
-%defattr(-,root,root,-)
 %dir %{_xemacs_sitelispdir}/coq
 %{_xemacs_sitelispdir}/coq/*.elc
 %doc README.coq-xemacs
 
 %files xemacs-el
-%defattr(-,root,root,-)
 %{_xemacs_sitelispdir}/coq/*.el
 
 %changelog
+* Sat Jan  7 2011 Jerry James <loganjerry at gmail.com> - 8.3pl3-2
+- Rebuild for Ocaml 3.12.1
+
 * Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 8.3pl3-1
 - New upstream release