remove sherlodoc from deps because of a bug in ocaml ci

ocaml · Jul 8, 2024 · ee8628a · ee8628a
1 parent 3de1a02
commit ee8628a
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: [