try to fix pin depend

art-w · Sep 25, 2024 · 0357233 · 0357233
1 parent ba0104a
commit 0357233
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sherlodoc.opam b/sherlodoc.opam
@@ -47,6 +47,6 @@ build: [
 ]
 dev-repo: "git+https://github.com/art-w/sherlodoc.git"
 pin-depends: [
-  [ "odoc.dev"        "git+https://github.com/ocaml/odoc"]
-  [ "odoc-parser.dev" "git+https://github.com/ocaml/odoc"]
+  [ "odoc.dev"        "git+https://github.com/ocaml/odoc#f3b0823d90cfeb6583925a1cf90c82e3e52da268"]
+  [ "odoc-parser.dev" "git+https://github.com/ocaml/odoc#f3b0823d90cfeb6583925a1cf90c82e3e52da268"]
 ]