From c89a96d99830e27c29cbdd0259ac5f1a75c6e5d4 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Feb 07 2018 02:10:04 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild


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

---

diff --git a/alt-ergo.spec b/alt-ergo.spec
index 6700ee2..927f026 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -9,7 +9,7 @@
 
 Name:		alt-ergo
 Version:	1.30
-Release:	11%{?dist}
+Release:	12%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	CeCILL-C
 
@@ -137,6 +137,9 @@ done
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
 
 %changelog
+* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-12
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
+
 * Sun Jan 07 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.30-11
 - Remove obsolete scriptlets