diff --git a/ocaml/META b/ocaml/META
index f8b42523..618876e4 100644
--- 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
index 3357b5dc..f1f606c0 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.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
index a9cc57b9..9d764f0c 100644
--- 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
index 741f1298..95f84750 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.7.0"
+version: "0.7.1"
 synopsis: "OCaml API for EverCrypt/HACL*"
 description: """
 Documentation for this library can be found