From 23cff2f851c6db7888b839e09752e4ce65b2dc79 Mon Sep 17 00:00:00 2001
From: Emile Trotignon <emile.trotignon@gmail.com>
Date: Mon, 8 Jul 2024 15:53:50 +0200
Subject: [PATCH] remove sherlodoc from deps because of a bug in ocaml ci

---
 odoc-driver.opam | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/odoc-driver.opam b/odoc-driver.opam
index cfbbb7a5dc..87ac2706ac 100644
--- a/odoc-driver.opam
+++ b/odoc-driver.opam
@@ -43,11 +43,6 @@ depends: [
   "eio_main"
   "progress"
   "cmdliner"
-  "sherlodoc"
-]
-
-pin-depends: [
-  ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#076cc2b"]
 ]
 
 build: [