From: Richard W.M. Jones <rjones@redhat.com>
Date: Sun, 28 Feb 2021 21:47:56 +0000 (+0000)
Subject: Enable gappalib-coq again.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=6ae5314c4219bd3dae9ddaf750339eee56104df6;p=fedora-ocaml-rebuild.git

Enable gappalib-coq again.
---

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",