diff --git a/ocaml/META b/ocaml/META index 92520bdd..70cee628 100644 --- a/ocaml/META +++ b/ocaml/META @@ -1,5 +1,5 @@ name="hacl-star-raw" -version="0.6.1" +version="0.6.2" description="EverCrypt with Ctypes bindings" requires="ctypes" archive(native)="ocamlevercrypt.cmxa" diff --git a/ocaml/hacl-star-raw.opam b/ocaml/hacl-star-raw.opam index 0f70abcb..1b81889f 100644 --- a/ocaml/hacl-star-raw.opam +++ b/ocaml/hacl-star-raw.opam @@ -1,6 +1,6 @@ opam-version: "2.0" name: "hacl-star-raw" -version: "0.6.1" +version: "0.6.2" synopsis: "Auto-generated low-level OCaml bindings for EverCrypt/HACL*" description: """ This package contains a snapshot of the EverCrypt crypto provider and diff --git a/ocaml/hacl-star/CHANGES.md b/ocaml/hacl-star/CHANGES.md index 8efbc72f..db3f1876 100644 --- a/ocaml/hacl-star/CHANGES.md +++ b/ocaml/hacl-star/CHANGES.md @@ -1,3 +1,6 @@ +## 0.6.2 +- Updated Vale snapshot + ## 0.6.1 - Remove undefined symbols on arm64 diff --git a/ocaml/hacl-star/hacl-star.opam b/ocaml/hacl-star/hacl-star.opam index 6accfce2..f4487364 100644 --- a/ocaml/hacl-star/hacl-star.opam +++ b/ocaml/hacl-star/hacl-star.opam @@ -1,6 +1,6 @@ opam-version: "2.0" name: "hacl-star" -version: "0.6.1" +version: "0.6.2" synopsis: "OCaml API for EverCrypt/HACL*" description: """ Documentation for this library can be found