rpms/alt-ergo/devel alt-ergo.spec,1.6,1.7 import.log,1.3,1.4

[Alan Dunn]

Author: amdunn

Update of /cvs/pkgs/rpms/alt-ergo/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv729/devel

Modified Files:
	alt-ergo.spec import.log 
Log Message:
* Tue Aug 04 2009 Alan Dunn <amdunn at gmail.com> 0.9-2
- Added ExcludeArch sparc64 due to no OCaml



Index: alt-ergo.spec
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/devel/alt-ergo.spec,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- alt-ergo.spec	24 Jul 2009 10:23:05 -0000	1.6
+++ alt-ergo.spec	4 Aug 2009 23:13:55 -0000	1.7
@@ -13,7 +13,7 @@
 
 Name:		alt-ergo
 Version:	0.9
-Release:	1%{?dist}
+Release:	2%{?dist}
 Summary:	Alt-Ergo automatic theorem prover
 
 Group:		Applications/Engineering
@@ -26,8 +26,8 @@ BuildRoot:	%{_tmppath}/%{name}-%{version
 
 BuildRequires:	ocaml, ocaml-ocamlgraph-devel, prelink
 
-# Still no ocaml on s390(x)
-ExcludeArch: s390 s390x
+# Still no ocaml on s390(x) or sparc64
+ExcludeArch: s390 s390x sparc64
 
 %description
 
@@ -92,6 +92,9 @@ rm -rf %{buildroot}
 %doc README.alt-ergo COPYING CeCILL-C CHANGES
 
 %changelog
+* Tue Aug 04 2009 Alan Dunn <amdunn at gmail.com> 0.9-2
+- Added ExcludeArch sparc64 due to no OCaml
+
 * Fri Jul 24 2009 Alan Dunn <amdunn at gmail.com> 0.9-1
 - New upstream version
 - Removed code for check for Fedora version (8) that is EOL


Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/devel/import.log,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- import.log	24 Jul 2009 10:23:05 -0000	1.3
+++ import.log	4 Aug 2009 23:13:55 -0000	1.4
@@ -1,3 +1,4 @@
 alt-ergo-0_8-3_fc9:HEAD:alt-ergo-0.8-3.fc9.src.rpm:1220665880
 alt-ergo-0_8-4_fc9:HEAD:alt-ergo-0.8-4.fc9.src.rpm:1230138275
 alt-ergo-0_9-1_fc10:HEAD:alt-ergo-0.9-1.fc10.src.rpm:1248430585
+alt-ergo-0_9-2_fc10:HEAD:alt-ergo-0.9-2.fc10.src.rpm:1249427238