From cc7ccab41657170d97abb0ec5966507fe844377f Mon Sep 17 00:00:00 2001 From: Victor Dumitrescu Date: Thu, 1 Dec 2022 17:19:59 +0100 Subject: [PATCH] OCaml: release v0.6.2 --- 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 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