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

[Dennis Gilmore]

commit ba8f088d1cb186caa4b4294b97c83882c243ba28
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Fri Jun 6 21:19:04 2014 -0500

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

 lfsc.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/lfsc.spec b/lfsc.spec
index bbb6248..b17280b 100644
--- a/lfsc.spec
+++ b/lfsc.spec
@@ -4,7 +4,7 @@
 
 Name:           lfsc
 Version:        0.20120321
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        SMT proof checker
 
 License:        BSD
@@ -94,6 +94,9 @@ opt/%{name} %{SOURCE5} %{SOURCE4}
 %{_libdir}/%{name}/
 
 %changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.20120321-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
 * Sat Aug 03 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.20120321-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild