[glueminisat] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Dennis Gilmore
ausil at fedoraproject.org
Sat Jun 7 16:46:03 UTC 2014
commit 18d636258152c2ca145bbbaee9c45003aba1e4bd
Author: Dennis Gilmore <dennis at ausil.us>
Date: Sat Jun 7 11:46:15 2014 -0500
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
glueminisat.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/glueminisat.spec b/glueminisat.spec
index 09c34c4..8488c41 100644
--- a/glueminisat.spec
+++ b/glueminisat.spec
@@ -1,7 +1,7 @@
Name: glueminisat
Version: 2.2.7
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Boolean SAT solver that implements literal blocks distance (LBD)
License: MIT
@@ -134,6 +134,9 @@ fi
%ghost %{_bindir}/%{name}
%changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.2.7-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
* Tue Aug 13 2013 John C. Peterson <jcp at eskimo.com> - 2.2.7-1
- Updated to the latest release from upstream. Some of the fixes from the
previous glueminisat-printf.patch were incorporated by upstream into 2.2.7.
More information about the scm-commits
mailing list