git.annexia.org / fedora-ocaml-rebuild.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 402c010)
Disable frama-c
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 15:23:38 +0000 (16:23 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 15:23:38 +0000 (16:23 +0100)
Depends on coq via why3.

Goalfile patch | blob | history

diff --git a/Goalfile b/Goalfile
index f493246..e0a87fe 100644 (file)
--- 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:
Unnamed repository; edit this file 'description' to name the repository.