Merge pull request #410 from cryspen/vdum/opam_release

OCaml API: bump opam package version to 0.7.1
cryspen · Jun 1, 2023 · 5ab0df7 · 5ab0df7
2 parents 9155db1 + f02431a
commit 5ab0df7
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/ocaml/META b/ocaml/META
@@ -1,5 +1,5 @@
 name="hacl-star-raw"
-version="0.7.0"
+version="0.7.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.7.0"
+version: "0.7.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,6 +1,10 @@
 ## 0.8.0 (Unreleased)
 - API changes for all hash functions
 
+## 0.7.1
+- Significantly faster P-256 signature verification
+- Added SHA-3 to EverCrypt hashing interface
+
 ## 0.7.0
 - Added K-256 and libsecp256k1 API
 - Removed some non-agile APIs for SHA-2, HMAC, and HKDF

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