Skip to content

Commit

Permalink
updates encoding pin
Browse files Browse the repository at this point in the history
  • Loading branch information
filipeom authored and zapashcanon committed Oct 31, 2023
1 parent dc79809 commit 0006534
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion owi.opam
Original file line number Diff line number Diff line change
Expand Up @@ -49,5 +49,5 @@ build: [
dev-repo: "git+https://github.com/ocamlpro/owi.git"
available: (arch = "x86_32" | arch = "x86_64" | arch = "arm64") & os != "win32"
pin-depends: [
[ "encoding.dev" "git+https://github.com/wasp-platform/encoding"]
[ "encoding.dev" "git+https://github.com/formalsec/encoding"]
]
2 changes: 1 addition & 1 deletion owi.opam.template
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
available: (arch = "x86_32" | arch = "x86_64" | arch = "arm64") & os != "win32"
pin-depends: [
[ "encoding.dev" "git+https://github.com/wasp-platform/encoding"]
[ "encoding.dev" "git+https://github.com/formalsec/encoding"]
]

0 comments on commit 0006534

Please sign in to comment.