Add emacs-common-tuareg
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 22 Jul 2023 07:07:23 +0000 (08:07 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 22 Jul 2023 07:07:23 +0000 (08:07 +0100)
The new version depends on emacs-caml-mode, emacs-merlin,
ocaml-merlin, ocaml-source.

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