From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 12 Jul 2023 15:23:38 +0000 (+0100)
Subject: Disable frama-c
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=0777bef81f97ffa12016ea228132e16fc1878a1d;p=fedora-ocaml-rebuild.git

Disable frama-c

Depends on coq via why3.
---

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: