From: Richard W.M. Jones Date: Sat, 22 Jul 2023 07:07:23 +0000 (+0100) Subject: Add emacs-common-tuareg X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=89ebc89ab5d05874e854442489f9b2bafd5d240e;hp=e8e1a56899cf04b0e48b547aa0782893195b9428;p=fedora-ocaml-rebuild.git Add emacs-common-tuareg The new version depends on emacs-caml-mode, emacs-merlin, ocaml-merlin, ocaml-source. --- 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",