diff --git a/odoc-driver.opam b/odoc-driver.opam index d6a629601a..7c8c5ec04b 100644 --- a/odoc-driver.opam +++ b/odoc-driver.opam @@ -44,7 +44,6 @@ depends: [ "eio_main" "progress" "cmdliner" - "sherlodoc" ] build: [ @@ -61,6 +60,3 @@ build: [ "@doc" {with-doc} ] ] -pin-depends: [ - [ "sherlodoc.dev" "git+https://github.com/art-w/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"] -] \ No newline at end of file