X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=8cd1f7c7bfec4be752cd30b6a7cd726f545db79c;hb=89ebc89ab5d05874e854442489f9b2bafd5d240e;hp=eabbb981a53e6075edd064892f96de99b7b55b41;hpb=e8e1a56899cf04b0e48b547aa0782893195b9428;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index eabbb98..8cd1f7c 100644
--- a/Goalfile
+++ b/Goalfile
@@ -191,6 +191,7 @@ let packages = [
     "brltty",
     "coccinelle",
     "coq",
+    "emacs-common-tuareg",
     "flocq",
     "frama-c",
     "gappalib-coq",