From 211f80ab9cf297946355b337810f426a0be56130 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Santos=20Reis?= Date: Sun, 12 Jan 2025 19:59:32 +0000 Subject: [PATCH] Update pin-dependencies in tezla.opam and tezla.opam.template to remove .dev suffix --- tezla.opam | 5 +++-- tezla.opam.template | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/tezla.opam b/tezla.opam index 2798347..c13fbbf 100644 --- a/tezla.opam +++ b/tezla.opam @@ -35,7 +35,8 @@ build: [ ] ] dev-repo: "git+https://github.com/joaosreis/tezla.git" + pin-depends: [ - ["michelson-adt.dev" "git+https://github.com/joaosreis/michelson-adt.git#df350569c3f02146f2a4afaf613118252042c60b"] - ["michelson-parser.dev" "git+https://github.com/joaosreis/michelson-parser.git#b22df03e1ab58d325e4fa0e4a1543f7cb03d281d"] + ["michelson-adt" "git+https://github.com/joaosreis/michelson-adt.git#df350569c3f02146f2a4afaf613118252042c60b"] + ["michelson-parser" "git+https://github.com/joaosreis/michelson-parser.git#b22df03e1ab58d325e4fa0e4a1543f7cb03d281d"] ] diff --git a/tezla.opam.template b/tezla.opam.template index 84a11fd..5fd018b 100644 --- a/tezla.opam.template +++ b/tezla.opam.template @@ -1,4 +1,5 @@ + pin-depends: [ - ["michelson-adt.dev" "git+https://github.com/joaosreis/michelson-adt.git#df350569c3f02146f2a4afaf613118252042c60b"] - ["michelson-parser.dev" "git+https://github.com/joaosreis/michelson-parser.git#b22df03e1ab58d325e4fa0e4a1543f7cb03d281d"] + ["michelson-adt" "git+https://github.com/joaosreis/michelson-adt.git#df350569c3f02146f2a4afaf613118252042c60b"] + ["michelson-parser" "git+https://github.com/joaosreis/michelson-parser.git#b22df03e1ab58d325e4fa0e4a1543f7cb03d281d"] ]