rpms/alt-ergo/devel 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:13:50 UTC 2008
Author: amdunn
Update of /cvs/pkgs/rpms/alt-ergo/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv21014/devel
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/devel/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:56:50 -0000 1.1
+++ alt-ergo.spec 24 Dec 2008 17:13:19 -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/devel/import.log,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- import.log 6 Sep 2008 01:56:50 -0000 1.1
+++ import.log 24 Dec 2008 17:13:19 -0000 1.2
@@ -1 +1,2 @@
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
Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/devel/sources,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- sources 6 Sep 2008 01:56:50 -0000 1.2
+++ sources 24 Dec 2008 17:13:19 -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