[alt-ergo] - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

[Dennis Gilmore]

commit 638a594d6d0b37a3d4b58dd32a81ce66ad5a822d
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Mon Feb 7 19:01:20 2011 -0600

    - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

 alt-ergo.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 871cffa..9d06e40 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -13,7 +13,7 @@
 
 Name:		alt-ergo
 Version:	0.92.1
-Release:	1%{?dist}
+Release:	2%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 
 Group:		Applications/Engineering
@@ -96,6 +96,9 @@ rm -rf %{buildroot}
 %doc README.alt-ergo COPYING CeCILL-C CHANGES
 
 %changelog
+* Mon Feb 07 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.92.1-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
+
 * Tue Oct 06 2010 David A. Wheeler <dwheeler at dwheeler.com> 0.92.1-1
 - Update to version 0.92.1. This means:
 - New built-in syntax for the theory of arrays