Add emacs-common-tuareg

[fedora-ocaml-rebuild.git] / Goalfile

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