From d2196dcc8083092d41da8798fb0c05b42fe8556c Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 27 2020 10:18:58 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild


Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

---

diff --git a/E.spec b/E.spec
index 22e5572..e990d7b 100644
--- a/E.spec
+++ b/E.spec
@@ -1,6 +1,6 @@
 Name:		E
 Version:	2.4
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Equational Theorem Prover
 License:	GPLv2+ or LGPLv2+
 URL:		http://www.eprover.org/
@@ -99,6 +99,9 @@ diff -u test-results test-expected-results
 %{_mandir}/man1/*
 
 %changelog
+* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.4-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.4-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild