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

Dennis Gilmore ausil at fedoraproject.org
Sat Jun 7 15:55:59 UTC 2014


commit f3d1c4eca42d49ad6e176b3346fa081a137c8f95
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Sat Jun 7 10:56:09 2014 -0500

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

 picosat.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/picosat.spec b/picosat.spec
index efa8b72..1fea1f3 100644
--- a/picosat.spec
+++ b/picosat.spec
@@ -1,6 +1,6 @@
 Name:           picosat
 Version:        957
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        A SAT solver
 
 Group:          Applications/Engineering
@@ -123,6 +123,9 @@ cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} $RPM_BUILD_ROOT%{_mandir}/man1
 %{_libdir}/libpicosat.so
 
 %changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 957-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
 * Wed Jul 31 2013 Jerry James <loganjerry at gmail.com> - 957-1
 - New upstream release
 - Remove comment that was being pulled into postun


More information about the scm-commits mailing list