[E] - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Thu Jan 12 20:17:12 UTC 2012
commit 0ef523718616782ff485d2260fa8e43da2cbc46a
Author: Dennis Gilmore <dennis at ausil.us>
Date: Thu Jan 12 14:17:10 2012 -0600
- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
E.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/E.spec b/E.spec
index 1b9717e..016b97d 100644
--- a/E.spec
+++ b/E.spec
@@ -1,6 +1,6 @@
Name: E
Version: 1.4
-Release: 2%{?dist}
+Release: 3%{?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
+* Thu Jan 12 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.4-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
+
* Sat Jan 7 2012 Jerry James <loganjerry at gamil.com> - 1.4-2
- Rebuild for GCC 4.7
More information about the scm-commits
mailing list