rpms/alt-ergo/F-10 .cvsignore, 1.2, 1.3 alt-ergo.spec, 1.2, 1.3 import.log, 1.2, 1.3 sources, 1.3, 1.4

[Alan Dunn]

Author: amdunn

Update of /cvs/pkgs/rpms/alt-ergo/F-10
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv20824/F-10

Modified Files:
	.cvsignore alt-ergo.spec import.log sources 
Log Message:
* 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
- Removed comments re: CeCILL-C license as it is ok to have (no
  rpmlint warnings to explain either).



Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-10/.cvsignore,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- .cvsignore	6 Sep 2008 01:56:50 -0000	1.2
+++ .cvsignore	24 Jul 2009 10:35:16 -0000	1.3
@@ -1 +1 @@
-alt-ergo-0.8.tar.gz
+alt-ergo-0.9.tar.gz


Index: alt-ergo.spec
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-10/alt-ergo.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- alt-ergo.spec	24 Dec 2008 17:15:24 -0000	1.2
+++ alt-ergo.spec	24 Jul 2009 10:35:16 -0000	1.3
@@ -12,14 +12,10 @@
 %define __find_provides /usr/lib/rpm/ocaml-find-provides.sh
 
 Name:		alt-ergo
-Version:	0.8
-Release:	4%{?dist}
+Version:	0.9
+Release:	1%{?dist}
 Summary:	Alt-Ergo automatic theorem prover
 
-# Note: rpmlint invalid-license warning is incorrect - I had the
-# CeCILL-C license reviewed by Fedora legal, and it is now present on
-# http://fedoraproject.org/wiki/Licensing
-
 Group:		Applications/Engineering
 License:	CeCILL-C
 URL:		http://alt-ergo.lri.fr
@@ -30,11 +26,8 @@ BuildRoot:	%{_tmppath}/%{name}-%{version
 
 BuildRequires:	ocaml, ocaml-ocamlgraph-devel, prelink
 
-%if 0%{?fedora} < 9
-# There's no ocaml for ppc64 in Fedora <= 8
-# bz# (will be changed when exists as a module):
-ExcludeArch: ppc64
-%endif
+# Still no ocaml on s390(x)
+ExcludeArch: s390 s390x
 
 %description
 
@@ -99,6 +92,18 @@ rm -rf %{buildroot}
 %doc README.alt-ergo COPYING CeCILL-C CHANGES
 
 %changelog
+* 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
+- Removed comments re: CeCILL-C license as it is ok to have (no
+  rpmlint warnings to explain either).
+
+* 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
+
 * Wed Dec 24 2008 Alan Dunn <amdunn at gmail.com> 0.8-4
 - Rebuild: Source upstream appears to have changed even with same version number
   (seems like bug fix from examination of changes)


Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-10/import.log,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- import.log	24 Dec 2008 17:15:24 -0000	1.2
+++ import.log	24 Jul 2009 10:35:16 -0000	1.3
@@ -1,2 +1,3 @@
 alt-ergo-0_8-3_fc9:HEAD:alt-ergo-0.8-3.fc9.src.rpm:1220665880
 alt-ergo-0_8-4_fc9:F-10:alt-ergo-0.8-4.fc9.src.rpm:1230138408
+alt-ergo-0_9-1_fc10:F-10:alt-ergo-0.9-1.fc10.src.rpm:1248431331


Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-10/sources,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- sources	24 Dec 2008 17:15:24 -0000	1.3
+++ sources	24 Jul 2009 10:35:16 -0000	1.4
@@ -1 +1 @@
-ef6c78bdf377bcbe17fc4a94058479cf  alt-ergo-0.8.tar.gz
+c7eb6d07391acdfa39bb00978105858d  alt-ergo-0.9.tar.gz