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

[Dennis Gilmore]

commit 70796602cbe293098088744dca45ccf2ae8a6026
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Fri Jun 6 23:13:04 2014 -0500

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

 cbmc.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/cbmc.spec b/cbmc.spec
index 26e6e1e..c1e9e97 100644
--- a/cbmc.spec
+++ b/cbmc.spec
@@ -5,7 +5,7 @@
 
 Name:           cbmc
 Version:        4.6
-Release:        1.%{checkout}%{?dist}
+Release:        2.%{checkout}%{?dist}
 Summary:        Bounded Model Checker for ANSI-C and C++ programs
 
 License:        BSD with advertising
@@ -55,6 +55,9 @@ make
 %{_mandir}/man1/cbmc.*
 
 %changelog
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 4.6-2.20131201svn
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
 * Sun Dec  1 2013 Shakthi Kannan <shakthimaan [AT] fedoraproject.org> - 4.6-1.20131201svn
 - Updated to upstream 4.6 release