From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 1 Sep 2020 20:08:20 +0000 (+0100)
Subject: Include separate Coq packages list in the main list.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=71862a6ce5b16d6d9ac2e07e581a2869ec99ac09;p=fedora-ocaml-rebuild.git

Include separate Coq packages list in the main list.

Separated for historical reasons that make no sense now.
---

diff --git a/Goalfile b/Goalfile
index 064a43e..ea7b628 100644
--- a/Goalfile
+++ b/Goalfile
@@ -167,6 +167,10 @@ let packages = [
     "apron",
     "brltty",
     "coccinelle",
+    "coq",
+    "flocq",
+    "frama-c",
+    "gappalib-coq",
     "graphviz",
     "haxe",
     "hevea",
@@ -182,13 +186,7 @@ let packages = [
     "virt-v2v",
     "why3",
     "z3",
-
-    # For Coq:
-    "coq",
-    "frama-c",
-    "gappalib-coq",
     "zenon",
-    "flocq",
 
     # Causes a cyclic dependency between libnbd <-> nbdkit.  We need
     # to fix this in goals itself, but in the meantime disable nbdkit