From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 6 Apr 2020 08:41:26 +0000 (+0100)
Subject: Re-add gappalib-coq.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=6e3c0abee809b588e96095c7f15d07edbf35ae76;hp=342e582283f9a9746c92970259280497b672f73a;p=fedora-ocaml-rebuild.git

Re-add gappalib-coq.
---

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