From 89ebc89ab5d05874e854442489f9b2bafd5d240e Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Sat, 22 Jul 2023 08:07:23 +0100
Subject: [PATCH] Add emacs-common-tuareg

The new version depends on emacs-caml-mode, emacs-merlin,
ocaml-merlin, ocaml-source.
---
 Goalfile | 1 +
 1 file changed, 1 insertion(+)

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