[E] Rebuild for GCC 4.7.
Jerry James
jjames at fedoraproject.org
Sat Jan 7 19:57:12 UTC 2012
commit ff445c23a6d0868387d40491c0f52c346fedb03c
Author: Jerry James <loganjerry at gmail.com>
Date: Sat Jan 7 12:57:02 2012 -0700
Rebuild for GCC 4.7.
E.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/E.spec b/E.spec
index 87b0175..1b9717e 100644
--- a/E.spec
+++ b/E.spec
@@ -1,6 +1,6 @@
Name: E
Version: 1.4
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Equational Theorem Prover
Group: Applications/Engineering
License: GPLv2+ or LGPLv2+
@@ -85,6 +85,9 @@ diff test-results test-expected-results
%{_mandir}/man1/*
%changelog
+* Sat Jan 7 2012 Jerry James <loganjerry at gamil.com> - 1.4-2
+- Rebuild for GCC 4.7
+
* Mon Aug 22 2011 Jerry James <loganjerry at gmail.com> - 1.4-1
- New upstream release
- Rebuild man pages with newer version of help2man
More information about the scm-commits
mailing list