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

[Dennis Gilmore]

commit 646cb635e300af7dbc326dcb7e818bbe51764f19
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Fri Jul 20 20:34:10 2012 -0500

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

 picosat.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/picosat.spec b/picosat.spec
index 93a88bc..da492a5 100644
--- a/picosat.spec
+++ b/picosat.spec
@@ -1,6 +1,6 @@
 Name:           picosat
 Version:        936
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        A SAT solver
 
 Group:          Applications/Engineering
@@ -124,6 +124,9 @@ cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} $RPM_BUILD_ROOT%{_mandir}/man1
 %{_libdir}/libpicosat.so
 
 %changelog
+* Sat Jul 21 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 936-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
 * Fri Jan  6 2012 Jerry James <loganjerry at gmail.com> - 936-3
 - Rebuild for GCC 4.7
 - Minor spec file cleanups