rpms/zenon/F-11 zenon.spec,1.4,1.5
Karsten Hopp
karsten at fedoraproject.org
Mon Jun 15 16:35:06 UTC 2009
- Previous message (by thread): rpms/globus-openssl-module/EL-5 globus-openssl-module-mingw.patch, NONE, 1.1 globus-openssl-module.spec, 1.1, 1.2 import.log, 1.1, 1.2
- Next message (by thread): rpms/globus-gsi-cert-utils/devel globus-gsi-cert-utils.spec, 1.1, 1.2 import.log, 1.1, 1.2
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
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
- Previous message (by thread): rpms/globus-openssl-module/EL-5 globus-openssl-module-mingw.patch, NONE, 1.1 globus-openssl-module.spec, 1.1, 1.2 import.log, 1.1, 1.2
- Next message (by thread): rpms/globus-gsi-cert-utils/devel globus-gsi-cert-utils.spec, 1.1, 1.2 import.log, 1.1, 1.2
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the fedora-extras-commits
mailing list