diff --git a/voodoo-do.opam b/voodoo-do.opam index d87de9c4..cb32dce0 100644 --- a/voodoo-do.opam +++ b/voodoo-do.opam @@ -32,3 +32,6 @@ build: [ ] ] dev-repo: "git+https://github.com/ocaml-doc/voodoo.git" +pin-depends: [ + ["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"] +] \ No newline at end of file diff --git a/voodoo-do.opam.template b/voodoo-do.opam.template new file mode 100644 index 00000000..e7d3b7f1 --- /dev/null +++ b/voodoo-do.opam.template @@ -0,0 +1,3 @@ +pin-depends: [ + ["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"] +] \ No newline at end of file diff --git a/voodoo-gen.opam b/voodoo-gen.opam index 4218afc3..ab7abf5e 100644 --- a/voodoo-gen.opam +++ b/voodoo-gen.opam @@ -39,4 +39,7 @@ build: [ dev-repo: "git+https://github.com/ocaml-doc/voodoo.git" available: [ os-distribution != "alpine" & arch != "ppc64"] # PPC64 fails to build with stack overflow see https://github.com/ocaml/ocaml/issues/11415 -# Alpine-3.16 doesn't have a pandoc package, however 3.17 does \ No newline at end of file +# Alpine-3.16 doesn't have a pandoc package, however 3.17 does +pin-depends: [ + ["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"] +] \ No newline at end of file diff --git a/voodoo-gen.opam.template b/voodoo-gen.opam.template index 80af9ef2..fe532128 100644 --- a/voodoo-gen.opam.template +++ b/voodoo-gen.opam.template @@ -1,3 +1,6 @@ available: [ os-distribution != "alpine" & arch != "ppc64"] # PPC64 fails to build with stack overflow see https://github.com/ocaml/ocaml/issues/11415 -# Alpine-3.16 doesn't have a pandoc package, however 3.17 does \ No newline at end of file +# Alpine-3.16 doesn't have a pandoc package, however 3.17 does +pin-depends: [ + ["odoc.dev" "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"] +] \ No newline at end of file