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

[Dennis Gilmore]

commit 661a0dce84a48b03447419f6ebadff15ccbf5d34
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Thu Jul 19 21:36:02 2012 -0500

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

 mona.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/mona.spec b/mona.spec
index ae13f7f..89f0e02 100644
--- a/mona.spec
+++ b/mona.spec
@@ -3,7 +3,7 @@
 
 Name:           mona
 Version:        %{upver}r%{uprel}
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        A decision procedure for the WS1S and WS2S logics
 
 Group:          Applications/Engineering
@@ -159,6 +159,9 @@ mv $RPM_BUILD_ROOT%{_datadir}/mona-mode.el .
 %{_xemacs_sitelispdir}/mona-mode.el
 
 %changelog
+* Fri Jul 20 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.4r13-7
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
 * Fri Jan  6 2012 Jerry James <loganjerry at gmail.com> - 1.4r13-5
 - Rebuild for GCC 4.7
 - Spec file cleanups