TEMP: pin-depends for moonpool

imandra-ai · Mar 21, 2024 · 073ff1a · 073ff1a
1 parent cc9560c
commit 073ff1a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/imandrakit.opam b/imandrakit.opam
@@ -50,3 +50,8 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/imandra-ai/imandrakit.git"
+
+pin-depends: [
+  ["moonpool.dev" "git+https://github.com/c-cube/moonpool#main"]
+]
+