diff --git a/current-bench.opam b/current-bench.opam index 43787b78..fc55d75f 100644 --- a/current-bench.opam +++ b/current-bench.opam @@ -66,9 +66,11 @@ build: [ ] dev-repo: "git+https://github.com/ocurrent/current-bench.git" pin-depends: [ + # When modifying the pins in this file, don't forget to also modify pipeline/pipeline.opam # Using the changes in ocurrent/ocurrent/pull/421, remove the pin on next release (> 0.6.4) - # When modifying this pin, don't forget to also modify pipeline/pipeline.opam ["current_github.0.6.4" "git+https://github.com/ocurrent/ocurrent.git#32561e1f2b9cc387d098e0ee918cd6bd2ccd1d3b"] + # Using the changes in ocurrent/ocurrent/pull/442, remove the pin on next release (> 0.6.4) + ["current_git.0.6.4" "git+https://github.com/ElectreAAS/ocurrent.git#21e7007e2897d44535e2729b42c80dc1280c6fb1"] ] # System dependencies fail to install on these platforms diff --git a/current-bench.opam.template b/current-bench.opam.template index ae2bd198..0a007cb1 100644 --- a/current-bench.opam.template +++ b/current-bench.opam.template @@ -1,7 +1,9 @@ pin-depends: [ + # When modifying the pins in this file, don't forget to also modify pipeline/pipeline.opam # Using the changes in ocurrent/ocurrent/pull/421, remove the pin on next release (> 0.6.4) - # When modifying this pin, don't forget to also modify pipeline/pipeline.opam ["current_github.0.6.4" "git+https://github.com/ocurrent/ocurrent.git#32561e1f2b9cc387d098e0ee918cd6bd2ccd1d3b"] + # Using the changes in ocurrent/ocurrent/pull/442, remove the pin on next release (> 0.6.4) + ["current_git.0.6.4" "git+https://github.com/ElectreAAS/ocurrent.git#21e7007e2897d44535e2729b42c80dc1280c6fb1"] ] # System dependencies fail to install on these platforms diff --git a/pipeline/pipeline.opam b/pipeline/pipeline.opam index d93f13e2..67958cc7 100644 --- a/pipeline/pipeline.opam +++ b/pipeline/pipeline.opam @@ -47,10 +47,13 @@ depends: [ "odoc" {with-doc} ] pin-depends: [ + # When modifying the pins in this file, don't forget to also modify pipeline/pipeline.opam # Using the changes in ocurrent/ocurrent/pull/421, remove the pin on next release (> 0.6.4) - # When modifying this pin, don't forget to also modify ../current-bench.opam.template ["current_github.0.6.4" "git+https://github.com/ocurrent/ocurrent.git#32561e1f2b9cc387d098e0ee918cd6bd2ccd1d3b"] + # Using the changes in ocurrent/ocurrent/pull/442, remove the pin on next release (> 0.6.4) + ["current_git.0.6.4" "git+https://github.com/ElectreAAS/ocurrent.git#21e7007e2897d44535e2729b42c80dc1280c6fb1"] ] + build: [ ["dune" "subst"] {dev} [