Merge pull request #292 from cryspen/vdum/ocaml-0.6.2

OCaml: release v0.6.2
cryspen · Dec 1, 2022 · bf09de1 · bf09de1
2 parents 8b04315 + cc7ccab
commit bf09de1
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.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
@@ -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
@@ -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
@@ -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