From 0777bef81f97ffa12016ea228132e16fc1878a1d Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 12 Jul 2023 16:23:38 +0100
Subject: [PATCH] Disable frama-c

Depends on coq via why3.
---
 Goalfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Goalfile b/Goalfile
index f493246..e0a87fe 100644
--- a/Goalfile
+++ b/Goalfile
@@ -195,7 +195,8 @@ let packages = [
     #"coq",
     # Depends on coq:
     #"flocq",
-    "frama-c",
+    # Depends on why3 -> coq:
+    #"frama-c",
     # Depends on coq:
     #"gappalib-coq",
     # Depends on swig:
-- 
1.8.3.1