rpms/zenon/F-11 zenon.spec,1.3,1.4

[Karsten Hopp]

Author: karsten

Update of /cvs/extras/rpms/zenon/F-11
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv7343

Modified Files:
	zenon.spec 
Log Message:
- ocaml not available on mainframes, add excludearch


Index: zenon.spec
===================================================================
RCS file: /cvs/extras/rpms/zenon/F-11/zenon.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- zenon.spec	25 Feb 2009 18:36:05 -0000	1.3
+++ zenon.spec	15 Jun 2009 16:22:50 -0000	1.4
@@ -1,6 +1,6 @@
 Name:		zenon
 Version:	0.5.0
-Release:	4%{?dist}
+Release:	4%{?dist}.1
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -19,6 +19,7 @@ BuildRequires:	prelink
 %if 0%fedora == 8
 ExcludeArch: ppc64
 %endif
+ExcludeArch s390 s390x
 
 %description
 Zenon is an automated theorem prover for first order classical logic
@@ -114,6 +115,9 @@ rm -rf %{buildroot}
 
 
 %changelog
+* Mon Jun 15 2009 Karsten Hopp <karsten at redhat.com> 0.5.0-4.1
+- ocaml not available on mainframes, add excludearch
+
 * Wed Feb 25 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.5.0-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild