From 18e15ba589fb7de9e025c99ce8c958db0bc5b8cc Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Feb 08 2011 12:02:49 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild


---

diff --git a/csisat.spec b/csisat.spec
index 2ea9c87..6856e88 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -60,6 +60,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_bindir}/csisatServer
 
 %changelog
+* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
+
 * Mon Jan 31 2011 Jerry James <loganjerry@gmail.com> - 1.2-4
 - Don't use the OCaml dependency generators, which find no dependencies
 - Update list of supported arches from the ocaml spec file