From 71862a6ce5b16d6d9ac2e07e581a2869ec99ac09 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 1 Sep 2020 21:08:20 +0100
Subject: [PATCH] Include separate Coq packages list in the main list.

Separated for historical reasons that make no sense now.
---
 Goalfile | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

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
-- 
1.8.3.1