From f759ba1cbc243ec25dfd195b61f0b7479d2043bd Mon Sep 17 00:00:00 2001
From: Emile Trotignon <emile.trotignon@gmail.com>
Date: Mon, 8 Jul 2024 14:24:55 +0200
Subject: [PATCH] use commit hash instead of branch name

---
 odoc-driver.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/odoc-driver.opam b/odoc-driver.opam
index c69509d0c1..cfbbb7a5dc 100644
--- a/odoc-driver.opam
+++ b/odoc-driver.opam
@@ -47,7 +47,7 @@ depends: [
 ]
 
 pin-depends: [
-  ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#odoc3_compat"]
+  ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#076cc2b"]
 ]
 
 build: [