try to fix pin depend

art-w · Sep 25, 2024 · ba0104a · ba0104a
1 parent d09695d
commit ba0104a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sherlodoc.opam.template b/sherlodoc.opam.template
@@ -1,4 +1,4 @@
 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"]
 ]