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

[Dennis Gilmore]

commit 1239baeeb3735949f74351486e5ca6aea8f30298
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Tue Feb 8 08:03:46 2011 -0600

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

 ltl2ba.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/ltl2ba.spec b/ltl2ba.spec
index c757092..ae14800 100644
--- a/ltl2ba.spec
+++ b/ltl2ba.spec
@@ -1,6 +1,6 @@
 Name:		ltl2ba
 Version:	1.1
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Fast translation from LTL formulas to Buchi automata
 
 Group:		Applications/Engineering
@@ -56,6 +56,9 @@ rm -rf $RPM_BUILD_ROOT
 
 
 %changelog
+* Tue Feb 08 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.1-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
+
 * Thu Aug   5 2010 David A. Wheeler <dwheeler at dwheeler.com> 1.1-2
 - Changed spelling of "Buchi" to use only ASCII characters (per Mark Rader)
 - Added simple "check" section to detect inability to execute