remove sherlodoc from deps because of a bug in ocaml ci

EmileTrotignon · EmileTrotignon · commit 23cff2f851c6 · 2024-07-08T15:53:50.000+02:00
diff --git 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: [
