From 3156ace36885b0995e12f21e5d042082a8aefc7b Mon Sep 17 00:00:00 2001 From: Victor Dumitrescu Date: Wed, 16 Nov 2022 10:13:53 +0100 Subject: [PATCH] OCaml: release 0.6.1 --- ocaml/META | 2 +- ocaml/hacl-star-raw.opam | 2 +- ocaml/hacl-star/CHANGES.md | 3 +++ ocaml/hacl-star/hacl-star.opam | 2 +- 4 files changed, 6 insertions(+), 3 deletions(-) diff --git a/ocaml/META b/ocaml/META index 7b9d1cca..92520bdd 100644 --- a/ocaml/META +++ b/ocaml/META @@ -1,5 +1,5 @@ name="hacl-star-raw" -version="0.6.0" +version="0.6.1" 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 597ffcce..0f70abcb 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.0" +version: "0.6.1" 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 70c4505e..8efbc72f 100644 --- a/ocaml/hacl-star/CHANGES.md +++ b/ocaml/hacl-star/CHANGES.md @@ -1,3 +1,6 @@ +## 0.6.1 +- Remove undefined symbols on arm64 + ## 0.6.0 - Breaking: Finer-grained API for NaCl in-place functions - Performance improvements for P-256 diff --git a/ocaml/hacl-star/hacl-star.opam b/ocaml/hacl-star/hacl-star.opam index 503d0e8d..6accfce2 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.0" +version: "0.6.1" synopsis: "OCaml API for EverCrypt/HACL*" description: """ Documentation for this library can be found