Skip to content

Commit

Permalink
Update pin-dependencies in tezla.opam and tezla.opam.template to remo…
Browse files Browse the repository at this point in the history
…ve .dev suffix
  • Loading branch information
joaosreis committed Jan 12, 2025
1 parent d38544b commit 211f80a
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 4 deletions.
5 changes: 3 additions & 2 deletions tezla.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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"]
]
5 changes: 3 additions & 2 deletions tezla.opam.template
Original file line number Diff line number Diff line change
@@ -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"]
]

0 comments on commit 211f80a

Please sign in to comment.