remove sherlodoc from deps because of a bug in ocaml ci

ocaml · Jul 8, 2024 · 23cff2f · 23cff2f
1 parent f759ba1
commit 23cff2f
Showing 1 changed file with 0 additions and 5 deletions.
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: [