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

Karsten Hopp karsten at fedoraproject.org
Mon Jun 15 16:35:06 UTC 2009


Author: karsten

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

Modified Files:
	zenon.spec 
Log Message:
fix typo


Index: zenon.spec
===================================================================
RCS file: /cvs/extras/rpms/zenon/F-11/zenon.spec,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- zenon.spec	15 Jun 2009 16:22:50 -0000	1.4
+++ zenon.spec	15 Jun 2009 16:34:35 -0000	1.5
@@ -19,7 +19,7 @@ BuildRequires:	prelink
 %if 0%fedora == 8
 ExcludeArch: ppc64
 %endif
-ExcludeArch s390 s390x
+ExcludeArch: s390 s390x
 
 %description
 Zenon is an automated theorem prover for first order classical logic




More information about the fedora-extras-commits mailing list