Skip to content

Commit

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

0 comments on commit f7e6a6c

Please sign in to comment.