[E] - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Wed Jul 18 13:13:20 UTC 2012
commit cf7e98ca13d78da20fda1700d9eb27febcc8ce9d
Author: Dennis Gilmore <dennis at ausil.us>
Date: Wed Jul 18 08:13:12 2012 -0500
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
E.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/E.spec b/E.spec
index 0dbbba8..0eaba53 100644
--- a/E.spec
+++ b/E.spec
@@ -1,6 +1,6 @@
Name: E
Version: 1.5
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Equational Theorem Prover
Group: Applications/Engineering
License: GPLv2+ or LGPLv2+
@@ -89,6 +89,9 @@ diff test-results test-expected-results
%{_mandir}/man1/*
%changelog
+* Wed Jul 18 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.5-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
* Mon May 7 2012 Jerry James <loganjerry at gmail.com> - 1.5-1
- New upstream release
More information about the scm-commits
mailing list