rpms/coq/devel coq.spec,1.9,1.10

[Karsten Hopp]

Author: karsten

Update of /cvs/extras/rpms/coq/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv4447

Modified Files:
	coq.spec 
Log Message:
- ExcludeArch s390, s390x as we don't have OCaml on those archs


Index: coq.spec
===================================================================
RCS file: /cvs/extras/rpms/coq/devel/coq.spec,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -p -r1.9 -r1.10
--- coq.spec	4 Mar 2009 17:07:29 -0000	1.9
+++ coq.spec	17 Jun 2009 10:53:40 -0000	1.10
@@ -25,7 +25,7 @@
 
 Name:		coq
 Version:	8.1pl4
-Release:	3%{?dist}
+Release:	3%{?dist}.1
 Summary:	Coq proof management system
 
 Group:		Applications/Engineering
@@ -61,6 +61,7 @@ ExcludeArch: ppc64
 %else
 BuildRequires: texlive-latex, texlive-texmf
 %endif
+ExcludeArch: s390 s390x
 
 %description
 Coq is a formal proof management system. It allows for the development
@@ -340,6 +341,9 @@ rm -rf %{buildroot}
 
 
 %changelog
+* Wed Jun 17 2009 S390x secondary arch maintainer <fedora-s390x at lists.fedoraproject.org> 8.1pl4-3.1
+- ExcludeArch s390, s390x as we don't have OCaml on those archs
+
 * Wed Mar 04 2009 Alan Dunn <amdunn at gmail.com> - 8.1pl4-3
 - Minor change to cmxa-install patch instruction
 - Fixed to work with lablgtk 2.12