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

[Dennis Gilmore]

commit b7807c9841a5313b4e1db16184e5e8e4423f14bf
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Tue Feb 8 14:15:24 2011 -0600

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

 mona.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/mona.spec b/mona.spec
index c9eda3f..8fa8f99 100644
--- a/mona.spec
+++ b/mona.spec
@@ -3,7 +3,7 @@
 
 Name:           mona
 Version:        %{upver}r%{uprel}
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        A decision procedure for the WS1S and WS2S logics
 
 Group:          Applications/Engineering
@@ -165,6 +165,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_xemacs_sitelispdir}/mona-mode.el
 
 %changelog
+* Tue Feb 08 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.4r13-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
+
 * Mon Nov 29 2010 Jerry James <loganjerry at gmail.com> - 1.4r13-4
 - Move COPYING and other docs to -libs, which is required by the main package.
 - Remove unnecessary libtool BR.