From 6e3c0abee809b588e96095c7f15d07edbf35ae76 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Mon, 6 Apr 2020 09:41:26 +0100
Subject: [PATCH] Re-add gappalib-coq.

---
 Goalfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Goalfile b/Goalfile
index 9da8611..72580d3 100644
--- a/Goalfile
+++ b/Goalfile
@@ -32,7 +32,7 @@ let other-packages = [
     "z3",
 
     # For Coq:
-    "coq", "frama-c",
+    "coq", "frama-c", "gappalib-coq",
     "why3", "zenon",
     "flocq",
 
-- 
1.8.3.1