rpms/zenon/devel zenon.spec,1.4,1.5
Karsten Hopp
karsten at fedoraproject.org
Mon Jun 15 16:27:55 UTC 2009
Author: karsten
Update of /cvs/extras/rpms/zenon/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv8635
Modified Files:
zenon.spec
Log Message:
fix typo
Index: zenon.spec
===================================================================
RCS file: /cvs/extras/rpms/zenon/devel/zenon.spec,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- zenon.spec 15 Jun 2009 16:24:05 -0000 1.4
+++ zenon.spec 15 Jun 2009 16:27:25 -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 scm-commits
mailing list