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

[Alan Dunn]

Author: amdunn

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

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-11/.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:29:59 -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-11/alt-ergo.spec,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- alt-ergo.spec	17 Jun 2009 10:40:39 -0000	1.5
+++ alt-ergo.spec	24 Jul 2009 10:29:59 -0000	1.6
@@ -12,14 +12,10 @@
 %define __find_provides /usr/lib/rpm/ocaml-find-provides.sh
 
 Name:		alt-ergo
-Version:	0.8
-Release:	5%{?dist}.1
+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,6 @@ 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
 
@@ -101,6 +92,12 @@ 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
 


Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-11/import.log,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- import.log	24 Dec 2008 17:13:19 -0000	1.2
+++ import.log	24 Jul 2009 10:29:59 -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:HEAD:alt-ergo-0.8-4.fc9.src.rpm:1230138275
+alt-ergo-0_9-1_fc10:F-11:alt-ergo-0.9-1.fc10.src.rpm:1248431040


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