f

Julow · Oct 1, 2024 · 8b768c9 · 8b768c9
1 parent d9ea586
commit 8b768c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/odoc-driver.opam b/odoc-driver.opam
@@ -62,5 +62,5 @@ build: [
   ]
 ]
 pin-depends: [
-  [ "sherlodoc.dev" "git+https://github.com/EmileTrotignon/sherlodoc#odoc3_compat"]
+  [ "sherlodoc.dev" "git+https://github.com/EmileTrotignon/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"]
 ]