rpms/zenon/devel zenon.spec,1.3,1.4
Karsten Hopp
karsten at fedoraproject.org
Mon Jun 15 16:24:36 UTC 2009
Author: karsten
Update of /cvs/extras/rpms/zenon/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv7732
Modified Files:
zenon.spec
Log Message:
- ocaml not available on mainframes, add excludearch
Index: zenon.spec
===================================================================
RCS file: /cvs/extras/rpms/zenon/devel/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:24:05 -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
More information about the fedora-extras-commits
mailing list