From 57b8a17436a5929042011c2d70ba309cc2a3de60 Mon Sep 17 00:00:00 2001
From: Karsten Hopp <karsten@fedoraproject.org>
Date: Jun 17 2009 10:53:40 +0000
Subject: - ExcludeArch s390, s390x as we don't have OCaml on those archs


---

diff --git a/coq.spec b/coq.spec
index 7f9ad6f..a381330 100644
--- a/coq.spec
+++ b/coq.spec
@@ -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@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@gmail.com> - 8.1pl4-3
 - Minor change to cmxa-install patch instruction
 - Fixed to work with lablgtk 2.12