From 1d6be7dd063ab605e9580917dc64f359f9cfcf5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Tue, 11 Jun 2024 17:53:17 +0200
Subject: [PATCH] pindep

---
 merlin.opam | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/merlin.opam b/merlin.opam
index 478ec627d..b3738ba44 100644
--- a/merlin.opam
+++ b/merlin.opam
@@ -71,3 +71,6 @@ See https://github.com/OCamlPro/opam-user-setup
 "
   {success & !user-setup:installed}
 ]
+pin-depends: [
+  ["ocaml-index.1.0"  "git+https://github.com/voodoos/ocaml-index"]
+]