From 6ae5314c4219bd3dae9ddaf750339eee56104df6 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Sun, 28 Feb 2021 21:47:56 +0000
Subject: [PATCH] Enable gappalib-coq again.

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

diff --git a/Goalfile b/Goalfile
index df014e1..5c9b65b 100644
--- a/Goalfile
+++ b/Goalfile
@@ -177,7 +177,7 @@ let packages = [
     "coq",
     "flocq",
     "frama-c",
-    #"gappalib-coq",
+    "gappalib-coq",
     "graphviz",
     "haxe",
     "hevea",
-- 
1.8.3.1