bump to opam packages to 0.5.0

update changes.md
cryspen · Sep 9, 2022 · ec22a33 · ec22a33
1 parent 4f07874
commit ec22a33
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/ocaml/META b/ocaml/META
@@ -1,5 +1,5 @@
 name="hacl-star-raw"
-version="0.4.6"
+version="0.5.0"
 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.4.6"
+version: "0.5.0"
 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,8 @@
+## 0.5.0
+- New build system
+- Faster blake2b
+- Agile incremental APIs for blake2
+
 ## 0.4.5
 - Faster fallback implementations for certain intrinsics, leading to improved
   performance, notably on ARMv8

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.4.6"
+version: "0.5.0"
 synopsis: "OCaml API for EverCrypt/HACL*"
 description: """
 Documentation for this library can be found