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 (file)
--- 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