From 522712b2b6b7aa79628664c36ad61063677c1ce7 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 26 2017 08:41:32 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild


---

diff --git a/frama-c.spec b/frama-c.spec
index 89abbcf..93c30b9 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -11,7 +11,7 @@
 
 Name:           frama-c
 Version:        1.14
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Framework for source code analysis of C software
 
 # Licensing breakdown in source file frama-c-1.6-licensing
@@ -247,6 +247,9 @@ gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
 %{_xemacs_sitestartdir}/acsl.el
 
 %changelog
+* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
+
 * Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-3
 - OCaml 4.04.2 rebuild.