Pin using commit hash

ocaml-gospel · Dec 10, 2024 · e0f07b3 · e0f07b3
1 parent 273e70c
commit e0f07b3
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
@@ -56,5 +56,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
 pin-depends: [
-  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#main"]
+  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#f5f284f05724fa9143bbc48862a4670c39c0b67a"]
 ]
diff --git a/ortac-qcheck-stm.opam.template b/ortac-qcheck-stm.opam.template
@@ -1,3 +1,3 @@
 pin-depends: [
-  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#main"]
+  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#f5f284f05724fa9143bbc48862a4670c39c0b67a"]
 ]
diff --git a/ortac-runtime-qcheck-stm.opam b/ortac-runtime-qcheck-stm.opam
@@ -43,5 +43,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"
 pin-depends: [
-  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#main"]
+  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#f5f284f05724fa9143bbc48862a4670c39c0b67a"]
 ]
diff --git a/ortac-runtime-qcheck-stm.opam.template b/ortac-runtime-qcheck-stm.opam.template
@@ -1,3 +1,3 @@
 pin-depends: [
-  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#main"]
+  ["qcheck-multicoretests-util.0.4"  "git+https://github.com/ocaml-multicore/multicoretests#f5f284f05724fa9143bbc48862a4670c39c0b67a"]
 ]