From 0006534b8788951569b56819de618956c6995ce0 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Tue, 31 Oct 2023 11:02:54 +0000 Subject: [PATCH] updates encoding pin --- owi.opam | 2 +- owi.opam.template | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/owi.opam b/owi.opam index 00a5d3470..a85ec6e5b 100644 --- a/owi.opam +++ b/owi.opam @@ -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"] ] diff --git a/owi.opam.template b/owi.opam.template index 08ef3f488..e94d77de3 100644 --- a/owi.opam.template +++ b/owi.opam.template @@ -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"] ]