From a509a018ae0662ec7798237028e61d9ddd0980fb Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Dec 01 2016 19:01:23 +0000
Subject: Rebuild for alt-ergo 1.30.


---

diff --git a/frama-c.spec b/frama-c.spec
index 6410fbe..c347fe6 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -11,7 +11,7 @@
 
 Name:           frama-c
 Version:        1.13
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Framework for source code analysis of C software
 
 # Licensing breakdown in source file frama-c-1.6-licensing
@@ -259,6 +259,9 @@ gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
 %{_xemacs_sitestartdir}/acsl.el
 
 %changelog
+* Wed Nov 30 2016 Jerry James <loganjerry@gmail.com> - 1.13-6
+- Rebuild for alt-ergo 1.30
+
 * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.13-5
 - Rebuild for OCaml 4.04.0.
 - Add small fixes for OCaml 4.04.0.