rpms/coq/F-11 coq.spec,1.9,1.10
Karsten Hopp
karsten at fedoraproject.org
Wed Jun 17 10:52:45 UTC 2009
Author: karsten
Update of /cvs/extras/rpms/coq/F-11
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv4046
Modified Files:
coq.spec
Log Message:
- ExcludeArch s390, s390x as we don't have OCaml on those archs
Index: coq.spec
===================================================================
RCS file: /cvs/extras/rpms/coq/F-11/coq.spec,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -p -r1.9 -r1.10
--- coq.spec 4 Mar 2009 17:07:29 -0000 1.9
+++ coq.spec 17 Jun 2009 10:52:14 -0000 1.10
@@ -25,7 +25,7 @@
Name: coq
Version: 8.1pl4
-Release: 3%{?dist}
+Release: 3%{?dist}.1
Summary: Coq proof management system
Group: Applications/Engineering
@@ -61,6 +61,7 @@ ExcludeArch: ppc64
%else
BuildRequires: texlive-latex, texlive-texmf
%endif
+ExcludeArch: s390 s390x
%description
Coq is a formal proof management system. It allows for the development
@@ -340,6 +341,9 @@ rm -rf %{buildroot}
%changelog
+* Wed Jun 17 2009 S390x secondary arch maintainer <fedora-s390x at lists.fedoraproject.org> 8.1pl4-3.1
+- ExcludeArch s390, s390x as we don't have OCaml on those archs
+
* Wed Mar 04 2009 Alan Dunn <amdunn at gmail.com> - 8.1pl4-3
- Minor change to cmxa-install patch instruction
- Fixed to work with lablgtk 2.12
More information about the fedora-extras-commits
mailing list