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

[Dennis Gilmore]

commit 946c84d8cf08efd45addb42851c10b432b011edc
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Thu Feb 14 11:51:49 2013 -0600

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

 picosat.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/picosat.spec b/picosat.spec
index 85acdef..3658461 100644
--- a/picosat.spec
+++ b/picosat.spec
@@ -1,6 +1,6 @@
 Name:           picosat
 Version:        951
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        A SAT solver
 
 Group:          Applications/Engineering
@@ -126,6 +126,9 @@ cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} $RPM_BUILD_ROOT%{_mandir}/man1
 %{_libdir}/libpicosat.so
 
 %changelog
+* Thu Feb 14 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 951-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
+
 * Mon Aug 20 2012 Jerry James <loganjerry at gmail.com> - 951-1
 - New upstream release