rpms/alt-ergo/F-11 alt-ergo.spec,1.3,1.4
Karsten Hopp
karsten at fedoraproject.org
Wed Jun 17 10:37:14 UTC 2009
Author: karsten
Update of /cvs/extras/rpms/alt-ergo/F-11
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv491
Modified Files:
alt-ergo.spec
Log Message:
- ExcludeArch s390x as there's no ocaml available
Index: alt-ergo.spec
===================================================================
RCS file: /cvs/extras/rpms/alt-ergo/F-11/alt-ergo.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- alt-ergo.spec 24 Feb 2009 00:50:19 -0000 1.3
+++ alt-ergo.spec 17 Jun 2009 10:36:43 -0000 1.4
@@ -13,7 +13,7 @@
Name: alt-ergo
Version: 0.8
-Release: 5%{?dist}
+Release: 5%{?dist}.1
Summary: Alt-Ergo automatic theorem prover
# Note: rpmlint invalid-license warning is incorrect - I had the
@@ -35,6 +35,8 @@ BuildRequires: ocaml, ocaml-ocamlgraph-d
# bz# (will be changed when exists as a module):
ExcludeArch: ppc64
%endif
+# Still no ocaml on s390(x)
+ExcludeArch s390 s390x
%description
@@ -99,6 +101,9 @@ rm -rf %{buildroot}
%doc README.alt-ergo COPYING CeCILL-C CHANGES
%changelog
+* Wed Jun 17 2009 Karsten Hopp <karsten at redhat.com> 0.8-5.1
+- ExcludeArch s390x as there's no ocaml available
+
* Mon Feb 23 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.8-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
More information about the fedora-extras-commits
mailing list