X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=72580d3de0b01db52f0d49ae89398f976ffe6f8c;hb=6e3c0abee809b588e96095c7f15d07edbf35ae76;hp=9da8611088796abe2c30fe12044ba90083de2230;hpb=342e582283f9a9746c92970259280497b672f73a;p=fedora-ocaml-rebuild.git

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