From d9ea58685f4c7d2d75bda4623349b5bffef5cea7 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Tue, 1 Oct 2024 10:38:51 +0200 Subject: [PATCH 1/3] opam: Fix pin URL for sherlodoc --- odoc-driver.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/odoc-driver.opam b/odoc-driver.opam index d6a629601a..39b73c3e94 100644 --- a/odoc-driver.opam +++ b/odoc-driver.opam @@ -62,5 +62,5 @@ build: [ ] ] pin-depends: [ - [ "sherlodoc.dev" "git+https://github.com/art-w/sherlodoc#0357233acf56936db6760cba573f7e77750b5428"] -] \ No newline at end of file + [ "sherlodoc.dev" "git+https://github.com/EmileTrotignon/sherlodoc#odoc3_compat"] +] From 8b768c93df7b1e5925aa60762a0d7015a711732d Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Tue, 1 Oct 2024 10:56:25 +0200 Subject: [PATCH 2/3] 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"] ] From 2e80ded56e1aa73deb0c6d7c78fffc72cfe5b276 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Tue, 1 Oct 2024 11:08:42 +0200 Subject: [PATCH 3/3] f --- odoc-driver.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/odoc-driver.opam b/odoc-driver.opam index 0d0395aeb0..8e3c03e6dd 100644 --- a/odoc-driver.opam +++ b/odoc-driver.opam @@ -44,7 +44,7 @@ depends: [ "eio_main" "progress" "cmdliner" - "sherlodoc" + "sherlodoc" {post} ] build: [