rpms/zenon/devel zenon.spec,1.7,1.8

[Dennis Gilmore]

Author: ausil

Update of /cvs/pkgs/rpms/zenon/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26636

Modified Files:
	zenon.spec 
Log Message:
Exlcude sparc64 no ocaml



Index: zenon.spec
===================================================================
RCS file: /cvs/pkgs/rpms/zenon/devel/zenon.spec,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- zenon.spec	12 Aug 2009 19:50:31 -0000	1.7
+++ zenon.spec	22 Sep 2009 19:51:52 -0000	1.8
@@ -1,6 +1,6 @@
 Name:		zenon
 Version:	0.5.0
-Release:	6%{?dist}
+Release:	7%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -19,7 +19,7 @@ BuildRequires:	prelink
 %if 0%fedora == 8
 ExcludeArch: ppc64
 %endif
-ExcludeArch: s390 s390x
+ExcludeArch: s390 s390x sparc64
 
 %description
 Zenon is an automated theorem prover for first order classical logic
@@ -115,6 +115,9 @@ rm -rf %{buildroot}
 
 
 %changelog
+* Tue Sep 22 2009 Dennis gilmore <dennis at ausil.us> - 0.5.0-7
+- ExcludeArch sparc64  no ocaml
+
 * Tue Aug 11 2009 Ville Skyttä <ville.skytta at iki.fi> - 0.5.0-6
 - Use bzipped upstream tarball.