From 27e9ddee53b8fa43725f951434404691d8012190 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 18:27:44 -0300
Subject: language server over stdio, emacs mode with repl and eglot wiring

---
 sol.opam | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'sol.opam')

diff --git a/sol.opam b/sol.opam
index c2dc35f..fe4e55a 100644
--- a/sol.opam
+++ b/sol.opam
@@ -10,7 +10,9 @@ depends: [
   "dune" {>= "3.17"}
   "ocaml" {>= "5.1"}
   "zarith"
+  "yojson"
   "menhir" {build}
+  "coq" {build}
   "alcotest" {with-test}
   "odoc" {with-doc}
 ]
-- 
cgit v1.2.3