Skip to content

Commit

Permalink
Update pin-dependencies for michelson-adt and michelson-parser to spe…
Browse files Browse the repository at this point in the history 
…cific commits
  • Loading branch information
@joaosreis
joaosreis committed Jan 12, 2025
1 parent 0838ed9 commit b3e41d0
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions tezla.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,6 @@ build: [
]
dev-repo: "git+https://github.com/joaosreis/tezla.git"
pin-depends: [
["michelson-adt.dev" "git+https://github.com/joaosreis/michelson-adt.git"]
["michelson-parser.dev" "git+https://github.com/joaosreis/michelson-parser.git"]
["michelson-adt.dev" "git+https://github.com/joaosreis/michelson-adt.git#df350569c3f02146f2a4afaf613118252042c60b"]
["michelson-parser.dev" "git+https://github.com/joaosreis/michelson-parser.git#b22df03e1ab58d325e4fa0e4a1543f7cb03d281d"]
]
4 changes: 2 additions & 2 deletions tezla.opam.template
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
pin-depends: [
["michelson-adt.dev" "git+https://github.com/joaosreis/michelson-adt.git"]
["michelson-parser.dev" "git+https://github.com/joaosreis/michelson-parser.git"]
["michelson-adt.dev" "git+https://github.com/joaosreis/michelson-adt.git#df350569c3f02146f2a4afaf613118252042c60b"]
["michelson-parser.dev" "git+https://github.com/joaosreis/michelson-parser.git#b22df03e1ab58d325e4fa0e4a1543f7cb03d281d"]
]

0 comments on commit b3e41d0

Please sign in to comment.