use commit hash instead of branch name

EmileTrotignon · EmileTrotignon · commit f759ba1cbc24 · 2024-07-08T14:24:55.000+02:00
diff --git 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: [

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ depends: [`
`47`	`47`	`]`
`48`	`48`
`49`	`49`	`pin-depends: [`
`50`		`- ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#odoc3_compat"]`
	`50`	`+ ["sherlodoc.dev" "git+https://github.com/emiletrotignon/sherlodoc.git#076cc2b"]`
`51`	`51`	`]`
`52`	`52`
`53`	`53`	`build: [`