Merge pull request #278 from cryspen/vdum/ocaml-0.6.1

OCaml: release 0.6.1
cryspen · Nov 16, 2022 · d8e3f1a · d8e3f1a
2 parents 3f3972b + 3156ace
commit d8e3f1a
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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