From 2c5d6144b9e194899f7372421da4593c991e0baa Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sep 13 2017 02:30:56 +0000
Subject: More excludes so that provides match requires.


---

diff --git a/frama-c.spec b/frama-c.spec
index ad87935..8266fa4 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -11,7 +11,7 @@
 
 Name:           frama-c
 Version:        15.0
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Framework for source code analysis of C software
 
 # Licensing breakdown in source file frama-c-1.6-licensing
@@ -65,7 +65,7 @@ Suggests:       coq
 Suggests:       z3
 
 # Filter out bogus requires
-%global __requires_exclude ocaml\\\((Callgraph_api|Cg|GtkSourceView2_types|Marks|Services|Sig|Uses)\\\)
+%global __requires_exclude ocaml\\\((Callgraph_api|Cg|Clabels|Conditions|Context|Cstring|Ctypes|Definitions|GtkSourceView2_types|Lang|LogicUsage|Marks|Mcfg|Memory|Model|Mstate|Passive|Separation|Services|Sig|Uses|Vset|Warning|WpPropId)\\\)
 
 %description
 Frama-C is a suite of tools dedicated to the analysis of the source
@@ -252,6 +252,9 @@ gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
 %{_xemacs_sitestartdir}/acsl.el
 
 %changelog
+* Tue Sep 12 2017 Jerry James <loganjerry@gmail.com> - 15.0-2
+- More excludes so that provides match requires
+
 * Thu Sep  7 2017 Jerry James <loganjerry@gmail.com> - 15.0-1
 - Update to Phosphorus version
 - Switch to new upstream version numbering scheme