rpms/alt-ergo/F-9 alt-ergo.spec, 1.1, 1.2 import.log, 1.1, 1.2 sources, 1.2, 1.3

Alan Dunn amdunn at fedoraproject.org
Wed Dec 24 17:17:37 UTC 2008


Author: amdunn

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

Modified Files:
	alt-ergo.spec import.log sources 
Log Message:
Rebuild for new upstream source tar, minor spec file change.



Index: alt-ergo.spec
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-9/alt-ergo.spec,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- alt-ergo.spec	6 Sep 2008 01:58:27 -0000	1.1
+++ alt-ergo.spec	24 Dec 2008 17:17:07 -0000	1.2
@@ -13,7 +13,7 @@
 
 Name:		alt-ergo
 Version:	0.8
-Release:	3%{?dist}
+Release:	4%{?dist}
 Summary:	Alt-Ergo automatic theorem prover
 
 # Note: rpmlint invalid-license warning is incorrect - I had the
@@ -23,7 +23,7 @@
 Group:		Applications/Engineering
 License:	CeCILL-C
 URL:		http://alt-ergo.lri.fr
-Source0:	http://alt-ergo.lri.fr/http/alt-ergo-0.8.tar.gz
+Source0:	http://alt-ergo.lri.fr/http/alt-ergo-%{version}.tar.gz
 Source1:	swap0_why.why
 Source2:	README.alt-ergo
 BuildRoot:	%{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
@@ -99,6 +99,10 @@
 %doc README.alt-ergo COPYING CeCILL-C CHANGES
 
 %changelog
+* 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)
+- Changed hardcoded version number in source string
 * Fri Sep 05 2008 Alan Dunn <amdunn at gmail.com> 0.8-3
 - Fixed BuildRequires to add prelink (for execstack).
 * Tue Aug 26 2008 Alan Dunn <amdunn at gmail.com> 0.8-2


Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-9/import.log,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- import.log	6 Sep 2008 01:58:27 -0000	1.1
+++ import.log	24 Dec 2008 17:17:07 -0000	1.2
@@ -1 +1,2 @@
 alt-ergo-0_8-3_fc9:F-9:alt-ergo-0.8-3.fc9.src.rpm:1220666017
+alt-ergo-0_8-4_fc9:F-9:alt-ergo-0.8-4.fc9.src.rpm:1230138525


Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/F-9/sources,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- sources	6 Sep 2008 01:58:27 -0000	1.2
+++ sources	24 Dec 2008 17:17:07 -0000	1.3
@@ -1 +1 @@
-ce8e9fbe24c0c2d7328b4b70ac0c2f9e  alt-ergo-0.8.tar.gz
+ef6c78bdf377bcbe17fc4a94058479cf  alt-ergo-0.8.tar.gz




More information about the fedora-extras-commits mailing list