From 8b768c93df7b1e5925aa60762a0d7015a711732d Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Tue, 1 Oct 2024 10:56:25 +0200 Subject: [PATCH] f --- odoc-driver.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/odoc-driver.opam b/odoc-driver.opam index 39b73c3e94..0d0395aeb0 100644 --- 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"] ]