rpms/alt-ergo/devel alt-ergo.spec,1.2,1.3
Jesse Keating
jkeating at fedoraproject.org
Tue Feb 24 00:50:50 UTC 2009
Author: jkeating
Update of /cvs/pkgs/rpms/alt-ergo/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv32163
Modified Files:
alt-ergo.spec
Log Message:
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
Index: alt-ergo.spec
===================================================================
RCS file: /cvs/pkgs/rpms/alt-ergo/devel/alt-ergo.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- alt-ergo.spec 24 Dec 2008 17:13:19 -0000 1.2
+++ alt-ergo.spec 24 Feb 2009 00:50:19 -0000 1.3
@@ -13,7 +13,7 @@
Name: alt-ergo
Version: 0.8
-Release: 4%{?dist}
+Release: 5%{?dist}
Summary: Alt-Ergo automatic theorem prover
# Note: rpmlint invalid-license warning is incorrect - I had the
@@ -99,6 +99,9 @@
%doc README.alt-ergo COPYING CeCILL-C CHANGES
%changelog
+* 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)
More information about the scm-commits
mailing list